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]
@article{KyasFBJHZAK05,
title = {Formalizing UML Models and OCL Constraints in PVS},
author = {Marcel Kyas and Harald Fecher and Frank S. de Boer and Joost Jacob and Jozef Hooman and Mark van der Zwaag and Tamarah Arons and Hillel Kugler},
year = {2005},
doi = {10.1016/j.entcs.2004.09.027},
url = {http://dx.doi.org/10.1016/j.entcs.2004.09.027},
tags = {OCL, constraints, UML},
researchr = {https://researchr.org/publication/KyasFBJHZAK05},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {115},
pages = {39-47},
}