Formal Approach to Assertion-Based Code Generation.

Pengyi Li Jing Sun Hai Wang

Published in: Int. J. Softw. Eng. Knowl. Eng. (2017)

Keyphrases

code generation
formal specification
application development
code generator
software development
rapid prototyping
model driven
modeling language
software reuse
model checking
design patterns
software engineering
information systems
real world
building blocks
database systems
case study
metadata
data mining