Keyphrases
- metamodel
- modeling language
- constraint language
- search space
- uml profile
- pruning method
- model driven
- software systems
- life cycle
- development process
- data model
- black box
- pruning algorithms
- software engineering
- design rationale
- object oriented modeling
- uml diagrams
- uml models
- state machine
- artificial intelligence
- pruning algorithm
- conceptual modeling
- database design
- formal methods
- software architecture
- model driven engineering
- search algorithm
- regression testing
- sequence diagrams
- pruning methods
- design patterns
- model driven architecture
- databases