Specifying Temporal Properties in UML Using Patterns: A Tool-Supported Approach.

Hector Cardenas Mustafa Al-Lail

Published in: MoDELS (Companion) (2023)

Keyphrases

temporal properties
formal methods
model checking
sequence diagrams
possibility theory
unified modeling language
design patterns
metamodel
class diagram
genetic algorithm
pattern recognition
association rules
software development
software systems
modeling language
tool support