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.

Download

[img] PDF - Published Version
Download (106Kb)

Description/Abstract

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 and Applied Science > Electronics and Computer Science > Electronic & Software Systems
Item ID: 270824
Date Deposited: 13 Apr 2010 09:03
Last Modified: 01 Mar 2012 15:09
Contributors: Edmunds, Andrew (Author)
Butler, Michael (Author)
Date: 20 February 2010
Status: Published
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/270824

Available Versions of this Item

Actions (login required)

View Item View Item
EPrints Logo
Contact ePrints Soton: eprints@soton.ac.uk
ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2