Login / Signup

Formalizing UML Models and OCL Constraints in PVS.

Marcel KyasHarald FecherFrank S. de BoerJoost JacobJozef HoomanMark van der ZwaagTamarah AronsHillel Kugler
Published in: Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
  • uml models
  • constraint language
  • sequence diagrams
  • test cases
  • constraint satisfaction
  • object oriented
  • metamodel
  • modeling language
  • case study
  • object recognition
  • integrity constraints
  • life cycle
  • formal verification