UML-B Release History

From Event-B
Revision as of 09:54, 20 October 2009 by imported>Colin
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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)
Retrieved from ‘https://wiki.event-b.org/index.php?title=UML-B_Release_History&oldid=10506’