title: Tool Support for Event-B Code Generation
creator: Edmunds, Andrew
creator: Butler, Michael
subject: Code generation
description: 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
type: Conference or Workshop Item
type: PeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/197/1/wstbfm2010_submission_13.pdf
relation: http://eprints.ecs.soton.ac.uk/18434/
identifier:   Edmunds, Andrew and Butler, Michael  (2010) Tool Support for Event-B Code Generation.  In: WS-TBFM2010.    (In Press)  
relation: http://deploy-eprints.ecs.soton.ac.uk/197/