creators_name: Snook, Colin
creators_name: Savicks, Vitaly
creators_name: Fritz, Fabian
creators_name: Illisaov, Alexei
type: other
datestamp: 2013-03-26 15:12:41
lastmod: 2013-03-26 15:13:35
metadata_visibility: show
title: Frameworks for developing Event-B modelling extensions in EMF
ispublished: unpub
subjects: ADVANCE
subjects: Event-Bsemantics
subjects: deploy_tooldev
subjects: deploy_tooldev_modelc
full_text_status: public
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)
publisher: None
citation:   Snook, Colin and Savicks, Vitaly and Fritz, Fabian and Illisaov, Alexei   Frameworks for developing Event-B modelling extensions in EMF.  None.    (Unpublished)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/463/7/EMF4EB.pdf