A Case Study on Code Generation of an ERP System from Event-B.

Néstor Cataño Tim Wahls

Published in: QRS (2015)

Keyphrases

code generation
case study
application development
software development
code generator
software reuse
model driven
design patterns
modeling language
information systems
rapid prototyping
formal specification
software engineering
software components
databases
data processing
artificial intelligence