Formal Verification of UML Diagrams: A First Step Towards Code Generation.

Jeffrey E. Smith Mieczyslaw M. Kokar Kenneth Baclawski

Published in: pUML (2001)

Keyphrases

formal verification
code generation
uml diagrams
model checking
software design
design patterns
software development
modeling language
formal specification
application development
model driven
constraint language
software reuse
case study
databases
learning objects
relational databases
artificial intelligence