Login / Signup

Verifying the Consistency of UML Models.

Damiano Torre
Published in: ISSRE Workshops (2016)
Keyphrases
  • uml models
  • object oriented
  • sequence diagrams
  • test cases
  • model checking
  • written in natural language
  • databases
  • artificial intelligence
  • case study
  • multi agent systems
  • relational databases
  • knowledge representation