Snook, Colin and Savicks, Vitaly and Fritz, Fabian and Illisaov, Alexei Frameworks for developing Event-B modelling extensions in EMF. None. (Unpublished)
This is the latest version of this item.
|
PDF
927Kb |
Abstract
These Slides are intended for for plugin developers who wish to extend the Event-B notation using EMF modelling facilities. Diagrammatic editors are also supported. (Some of these slides were originally developed in the deploy project and have been extended during the Advance project)
Item Type: | Other |
---|---|
Subjects: | ADVANCE Project Event-B Tool developments Tool developments > Model construction |
ID Code: | 463 |
Deposited By: | Colin Snook |
Deposited On: | 26 Mar 2013 15:12 |
Last Modified: | 26 Mar 2013 15:13 |
Available Versions of this Item
-
Frameworks for developing Event-B modelling extensions in EMF. (deposited 26 Mar 2013 14:58)
- Frameworks for developing Event-B modelling extensions in EMF. (deposited 26 Mar 2013 15:12) [Currently Displayed]
Repository Staff Only: item control page