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