Automated Code Generation for Safety-Related Applications: a Case Study.

David P. Gluch Andrew J. Kornecki

Published in: Comput. Sci. (2007)

Keyphrases

code generation
case study
application development
formal specification
data sets
high level
data driven
historical data
rapid prototyping
software reuse
code generator