Experiences in Model Driven Verification of Behavior with UML.
Fabrice KordonYann Thierry-MiegPublished in: Monterey Workshop (2008)
Keyphrases
- model driven
- metamodel
- model driven engineering
- service oriented
- data driven
- data integration
- model driven architecture
- model driven development
- case study
- data model
- development environments
- information systems
- modeling language
- service oriented architecture
- black box
- development process
- object oriented
- data sets
- platform independent
- software systems
- database systems
- databases