An Axiomatic Formalization of UML Models.

Toshiaki Aoki Takaaki Tateishi Takuya Katayama

Published in: pUML (2001)

Keyphrases

uml models
object oriented
knowledge representation
test cases
sequence diagrams
formal model
operational semantics
three dimensional
feature space
data model
general purpose
written in natural language