An Approach to Analyzing Temporal Properties in UML Class Models.

Mustafa Al-Lail Ramadan Abdunabi Robert B. France Indrakshi Ray

Published in: MoDeVVa@MoDELS (2013)

Keyphrases

temporal properties
metamodel
expert systems
probabilistic model
software engineering
software systems
model checking
conceptual models
uml models