An MDA Approach Towards Integrating Formal and Informal Modeling Languages.
Soon-Kyeong KimDamian BurgerDavid A. CarringtonPublished in: FM (2005)
Keyphrases
- modeling language
- model driven architecture
- metamodel
- formal methods
- business process modeling
- platform independent
- software engineering
- development process
- model driven
- computer interpretable
- black box
- life cycle
- reverse engineering
- software development
- declarative language
- data model
- cooperative
- inter related
- constraint language
- software development process
- formal and informal learning
- requirements engineering
- business processes
- logic programming