From models to code and back: correct-by-construction code from UML and ALF.

Federico Ciccozzi

Published in: ICSE (2013)

Keyphrases

source code
metamodel
prior knowledge
case study
database systems
object oriented
parameter estimation
experimental data
statistical models
model driven
conceptual models
code generation