Compositional Verification of UML Dynamic Models.
Wei DongJi WangZhichang QiNi RongPublished in: APSEC (2007)
Keyphrases
- dynamic model
- formal methods
- experimental data
- model checking
- database design
- multiple models
- software engineering
- software systems
- metamodel
- face verification
- uml class diagrams
- object oriented
- formal verification
- class diagrams
- signature verification
- state machine
- conceptual modeling
- verification method
- functional verification
- data sets
- uml activity diagrams
- sequence diagrams
- regression testing
- model driven
- petri net
- maximum likelihood
- information systems