Analyzing Behavioral Aspects of UML Design Class Models against Temporal Properties.
Mustafa Al-LailWuliang SunRobert B. FrancePublished in: QSIC (2014)
Keyphrases
- temporal properties
- metamodel
- formal methods
- uml models
- sequence diagrams
- multi agent
- design process
- software systems
- model checking
- software architecture
- software design
- activity diagrams
- genetic algorithm
- model driven engineering
- class diagrams
- black box
- design patterns
- software development
- decision makers
- software engineering
- probabilistic model
- data model
- decision making
- artificial intelligence