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
