Jeffrey E. Smith, Mieczyslaw M. Kokar, Kenneth Baclawski. Formal Verification of UML Diagrams: A First Step Towards Code Generation. In Andy Evans, Robert B. France, Ana M. D. Moreira, Bernhard Rumpe, editors, Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada. Volume 7 of LNI, pages 224-240, GI, 2001.
@inproceedings{SmithKB01,
title = {Formal Verification of UML Diagrams: A First Step Towards Code Generation},
author = {Jeffrey E. Smith and Mieczyslaw M. Kokar and Kenneth Baclawski},
year = {2001},
tags = {UML, code generation, e-science},
researchr = {https://researchr.org/publication/SmithKB01},
cites = {0},
citedby = {0},
pages = {224-240},
booktitle = {Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, Workshop of the pUML-Group held together with the «UML»2001, October 1st, 2001 in Toronto, Canada},
editor = {Andy Evans and Robert B. France and Ana M. D. Moreira and Bernhard Rumpe},
volume = {7},
series = {LNI},
publisher = {GI},
isbn = {3-88579-335-0},
}