Model-based formal specification of a DSL library for a qualified code generator.
Arnaud DieumegardAndres ToomMarc PantelPublished in: OCL@MoDELS (2012)
Keyphrases
- formal specification
- code generator
- code generation
- specification languages
- object oriented design
- model checking
- reverse engineering
- process algebra
- automatically generated
- formal methods
- concurrent systems
- process model
- software components
- architectural models
- business rules
- databases
- data driven
- software design
- software development