UML-B Release History

From Event-B
Revision as of 09:52, 20 October 2009 by imported>Colin (New page: Version 0.6.0 [for Rodin 1.1.0] - Axioms and Invariants can be made into Theorems (theorems almost everywhere) - Machines and Contexts have new properties tabs for Classes and ClassTypes ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Version 0.6.0 [for Rodin 1.1.0] - Axioms and Invariants can be made into Theorems (theorems almost everywhere) - Machines and Contexts have new properties tabs for Classes and ClassTypes (allowing re-ordering for translation) - Double click to open diagrams - (fix bug in state machine translation of nested final transitions)