Snook, Colin and Savicks, Vitaly and Fritz, Fabian and Illisaov, Alexei Frameworks for developing Event-B modelling extensions in EMF. None. (Unpublished)
![]() | There is a more recent version of this item available. |
|
PDF
939Kb |
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: | 461 |
Deposited By: | Colin Snook |
Deposited On: | 26 Mar 2013 14:58 |
Last Modified: | 26 Mar 2013 15:12 |
Available Versions of this Item
- Frameworks for developing Event-B modelling extensions in EMF. (deposited 26 Mar 2013 14:58) [Currently Displayed]
Repository Staff Only: item control page