Automatic Generation of C++ Code from an ESCRO2 Specification.
Paul C. GrabowL. LiuPublished in: COMPSAC (1995)
Keyphrases
- code generation
- source code
- high level
- automatically generate
- error correcting
- formal specification
- formal methods
- unit testing
- knowledge base
- tool suite
- domain specific languages
- neural network
- program code
- uml diagrams
- automatically generating
- formal verification
- generation method
- data model
- relational databases
- case study
- computer vision
- genetic algorithm