An SMT-based Approach for Generating Coverage Oriented Metamodel Instances.
Hao WuPublished in: Int. J. Inf. Syst. Model. Des. (2016)
Keyphrases
- metamodel
- modeling language
- development process
- software systems
- model driven
- data model
- reference model
- black box
- life cycle
- uml profile
- platform independent
- design patterns
- development processes
- object oriented
- case study
- transformation rules
- model driven architecture
- description logics
- statistical machine translation
- artificial intelligence