Templates for Event-B Code Generation.

Published in: ABZ (2014)

Keyphrases

code generation
application development
software development
code generator
modeling language
software reuse
model driven
rapid prototyping
formal specification
database
design patterns
data analysis
relational databases
web applications