Login / Signup
Automatic Generation of Integrated Formal Models Corresponding to UML System Models.
Helen Treharne
Edward Turner
Richard F. Paige
Dimitrios S. Kolovos
Published in:
TOOLS (47) (2009)
Keyphrases
</>
formal models
rule based systems
formal model
metamodel
process model
statistical models
conceptual models
activity diagrams
real world
artificial intelligence
case study
relational databases
probabilistic model
model selection
mathematical models