Validation of UML and OCL Models by Automatic Snapshot Generation

Martin Gogolla, Jörn Bohling, Mark Richters. Validation of UML and OCL Models by Automatic Snapshot Generation. In Perdita Stevens, Jon Whittle, Grady Booch, editors, «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings. Volume 2863 of Lecture Notes in Computer Science, pages 265-279, Springer, 2003. [doi]

@inproceedings{GogollaBR03,
  title = {Validation of UML and OCL Models by Automatic Snapshot Generation},
  author = {Martin Gogolla and Jörn Bohling and Mark Richters},
  year = {2003},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2863&spage=265},
  tags = {OCL, UML},
  researchr = {https://researchr.org/publication/GogollaBR03},
  cites = {0},
  citedby = {0},
  pages = {265-279},
  booktitle = {«UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings},
  editor = {Perdita Stevens and Jon Whittle and Grady Booch},
  volume = {2863},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20243-9},
}