Towards a Formal Account of a Foundational Subset for Executable UML Models.

Michelle L. Crane Jürgen Dingel

Published in: MoDELS (2008)

Keyphrases

uml models
formal specification
object oriented
test cases
sequence diagrams
formal model
databases
case study
general purpose