Login / Signup

Towards the verification of multi-diagram UML models.

Alfredo Motta
Published in: ICSE (2012)
Keyphrases
  • uml models
  • object oriented
  • test cases
  • database
  • signature verification
  • model checking
  • data sets
  • high level
  • life cycle
  • face verification
  • written in natural language