Correct-by-construction code generation from hybrid automata specification.

Davide Bresolin Luigi Di Guglielmo Luca Geretti Tiziano Villa

Published in: IWCMC (2011)

Keyphrases

code generation
hybrid automata
application development
software development
code generator
modeling language
finite state automata
formal specification
software reuse
model driven
design patterns
rapid prototyping
databases
end users
lightweight
pattern matching
service oriented
case study
metadata