title: Frameworks for developing Event-B modelling extensions in EMF
creator: Snook, Colin
creator: Savicks, Vitaly
creator: Fritz, Fabian
creator: Illisaov, Alexei
subject: ADVANCE Project
subject: Event-B
subject: Tool developments
subject: Model construction
description: 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)
publisher: None
type: Other
type: NonPeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/463/7/EMF4EB.pdf
identifier:   Snook, Colin and Savicks, Vitaly and Fritz, Fabian and Illisaov, Alexei   Frameworks for developing Event-B modelling extensions in EMF.  None.    (Unpublished)  
relation: http://deploy-eprints.ecs.soton.ac.uk/463/