Cross-Diagram UML Design Verification.
Iryna ZaretskaOleksandra KulankhinaHlib MykhailenkoPublished in: ICTERI (Revised Selected Papers) (2012)
Keyphrases
- formal methods
- software architecture
- functional verification
- user interface
- design process
- uml diagrams
- computer aided
- modeling language
- model checking
- formal verification
- software design
- metamodel
- uml models
- unified modeling language
- design decisions
- engineering design
- data sets
- database design
- software systems
- knowledge based systems
- case study