Capturing an application's temporal properties with UML for Real-Time.

Weiguo He Steve Goddard

Published in: HASE (2000)

Keyphrases

temporal properties
real time
formal methods
model checking
object oriented
software engineering
unified modeling language
possibility theory
modeling language
software development
database design
software systems
general purpose
knowledge representation
control system
pattern recognition
machine learning