Specification of temporal properties with OCL.

Bilal Kanso Safouan Taha

Published in: Sci. Comput. Program. (2014)

Keyphrases

temporal properties
formal methods
model checking
formal specification
constraint language
possibility theory
uml diagrams
modeling language
high level
temporal logic
metamodel
software design
software engineering
tool support
constraint networks
integrity constraints
sequence diagrams
fuzzy logic
genetic algorithm