A UML Validation Toolset Based on Abstract State Machines.
Wuwei ShenKevin J. ComptonJames HugginsPublished in: ASE (2001)
Keyphrases
- model driven engineering
- metamodel
- database design
- conceptual modeling
- development process
- model based testing
- software systems
- software development
- software architecture
- object oriented modeling
- modeling language
- formal methods
- uml class diagrams
- object oriented
- databases
- sequence diagrams
- class diagrams
- software design
- unified modeling language
- class diagram
- model driven architecture
- database
- query language
- data sets