Industrial deployment of system engineering methods providing high dependability and productivity


Frameworks for developing Event-B modelling extensions in EMF

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.



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
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

Repository Staff Only: item control page

Deploy-Project - All right reserved