Login / Signup
Semantics Preservation of Sequence Diagram Aspects.
Jon Oldevik
Øystein Haugen
Published in:
ECMDA-FA (2008)
Keyphrases
</>
sequence diagrams
dynamic aspects
formal semantics
semantic aspects
uml models
logic programming
intermediate representation
model based testing
database
databases
test cases
dependency graph