Sign in

Formal Proof from UML Models.

Nuno AmálioSusan StepneyFiona Polack
Published in: ICFEM (2004)
Keyphrases
  • formal proof
  • uml models
  • object oriented
  • theorem prover
  • test cases
  • sequence diagrams
  • written in natural language
  • image data
  • petri net