Integrated Formal Approach for Qualified Critical Embedded Code Generator.

Nassima Izerrouken Marc Pantel Xavier Thirioux Olivier Ssi Yan Kai

Published in: FMICS (2009)

Keyphrases

code generator
code generation
automatically generated
process model
computer aided
database
data driven
life cycle
denotational mathematics