Code Generation from Formal Models for Automatic RTOS Portability.
Renata Martins GomesMarcel BaunachPublished in: CGO (2019)
Keyphrases
- formal models
- code generation
- formal model
- rule based systems
- software development
- application development
- process model
- modeling language
- code generator
- model driven
- database systems
- software reuse
- genetic algorithm
- metamodel
- design patterns
- formal specification
- relational databases
- rapid prototyping
- neural network
- database