creators_name: Edmunds, Andrew
creators_name: Butler, Michael
type: conference_item
datestamp: 2010-02-01 09:32:10
lastmod: 2010-04-19 15:06:00
metadata_visibility: show
title: Tool Support for Event-B Code Generation
ispublished: inpress
subjects: Code_generation
full_text_status: public
pres_type: paper
keywords: Event-B Tools, Code Generation, Concurrency
abstract: The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is done at a high level of abstraction; detail is added in refinement steps as the development proceeds toward implementation. In previous work we developed an approach to bridge the gap between abstract specifications and implementations using an implementation level specification notation. In this paper we present details of the tool support for our notation and some of our experiences using the tool.
date: 2010-02
event_title: WS-TBFM2010
event_type: workshop
refereed: TRUE
official_url: http://eprints.ecs.soton.ac.uk/18434/
citation:   Edmunds, Andrew and Butler, Michael  (2010) Tool Support for Event-B Code Generation.  In: WS-TBFM2010.    (In Press)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/197/1/wstbfm2010_submission_13.pdf