A Formal Mapping between UML Static Models and Algebraic Specifications.

Published in: pUML (2001)

Keyphrases

conceptual models
formal specification
metamodel
statistical models
prior knowledge
probabilistic model
formal methods
uml models
neural network
mathematical theory
formal models
mathematical models
computational models
formal model
experimental data
software engineering
formal language
reactive systems
high level