Tool Support for Event-B Code Generation
Edmunds, Andrew and Butler, Michael (2010) Tool Support for Event-B Code Generation. In, WS-TBFM2010
This is the latest version of this item.
- Published Version
The Event-B method is a formal approach to modelling systems, using refi�nement. Initial specifi�cation is done at a high level of abstraction; detail is added in refi�nement steps as the development proceeds toward implementation. In previous work we developed an approach to bridge the gap between abstract specifi�cations and implementations using an implementation level specifi�cation notation. In this paper we present details of the tool support for our notation and some of our experiences using the tool.
|Item Type:||Conference or Workshop Item (Paper)|
|Keywords:||Event-B Tools, Code Generation, Concurrency|
|Divisions:||Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
|Date Deposited:||13 Apr 2010 09:03|
|Last Modified:||01 Mar 2012 15:09|
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Available Versions of this Item
Tool Support for Event-B Code Generation. (deposited 28 Jan 2010 21:09)
- Tool Support for Event-B Code Generation. (deposited 13 Apr 2010 09:03) [Currently Displayed]
Actions (login required)