UML-B Release History: Difference between revisions
From Event-B
Jump to navigationJump to search
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 ... |
imported>Colin No edit summary |
||
| Line 1: | Line 1: | ||
Version 0.6.0 [for Rodin 1.1.0] | 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) | |||
Latest revision as of 09:54, 20 October 2009
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)
