Sign in
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems.
Jagadish Suryadevara
Lawrence Chung
R. K. Shyamasundar
Published in:
J. Object Technol. (2008)
Keyphrases
</>
formal specification
specification language
formal methods
object oriented design
model checking
reactive systems
software development
specification languages
real time
databases
data flow
software engineering
reverse engineering
conceptual modeling