Formalizing UML Models and OCL Constraints in PVS

Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler. Formalizing UML Models and OCL Constraints in PVS. Electronic Notes in Theoretical Computer Science, 115:39-47, 2005. [doi]

Abstract

Abstract is missing.