Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples.
Martin FaunesJuan José CadavidBenoit BaudryHouari A. SahraouiBenoît CombemalePublished in: MoDELS (2013)
Keyphrases
- counter examples
- metamodel
- modeling language
- life cycle
- model driven
- development process
- transformation rules
- uml profile
- software systems
- black box
- logic programs
- reference model
- design patterns
- data model
- databases
- design rationale
- answer sets
- artificial intelligence
- cooperative
- development processes
- machine learning
- constraint language
- bounded model checking