A Certifying Code Generation Phase.

Jan Olaf Blech Arnd Poetzsch-Heffter

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

code generation
application development
software development
code generator
formal specification
modeling language
rapid prototyping
model driven
software reuse
design patterns
information technology
lightweight
automatically generated