A supporting system for verification among models of the UML.

Atsushi Ohnishi

Published in: Systems and Computers in Japan (2002)

Keyphrases

metamodel
complex systems
database design
conceptual models
databases
probabilistic model
software systems
statistical model
model driven
formal methods
data sets
social networks
information systems
model selection
mathematical models