Event-B Code Generation: Type Extension with Theories.

Andrew Edmunds Michael J. Butler Issam Maamria Renato Silva Chris Lovell

Published in: ABZ (2012)

Keyphrases

code generation
application development
software development
code generator
modeling language
formal specification
information systems
data management
software reuse