Code Generation for Event-B.

Andreas Fürst Thai Son Hoang David A. Basin Krishnaji Desai Naoto Sato Kunihiko Miyazaki

Published in: IFM (2014)

Keyphrases

code generation
application development
software development
code generator
software reuse
modeling language
model driven
rapid prototyping
formal specification
design patterns
information systems
open source
databases
data model
software systems
life cycle