Code generation for Event-B.

Victor Rivera Néstor Cataño Tim Wahls Camilo Rueda

Published in: Int. J. Softw. Tools Technol. Transf. (2017)

Keyphrases

code generation
application development
code generator
software development
modeling language
software reuse
rapid prototyping
model driven
formal specification
data analysis
expert systems
information technology
data driven
model checking
data mining
software engineering
information systems