A Formal Mapping between UML Models and Object-Z Specifications.

Soon-Kyeong Kim David A. Carrington

Published in: ZB (2000)

Keyphrases

uml models
written in natural language
formal specification
d objects
object oriented
formal language
reactive systems
data sets
operational semantics
open source
error rate
object model
multiple objects
sequence diagrams