Login / Signup
Checking Behavioural Consistency of UML-RT Models through Trace-Based Semantics.
Luis E. Mendoza Morales
Manuel I. Capel Tuñón
Kawtar Benghazi Akhlaki
Published in:
ICEIS (3) (2007)
Keyphrases
</>
metamodel
knowledge base
uml models
artificial intelligence
information systems
software development
software systems
complex systems
integrity constraints
formal semantics
operational semantics
activity diagrams