From Informal to Formal Specifications in UML

Martin Giese, Rogardt Heldal. From Informal to Formal Specifications in UML. In Thomas Baar, Alfred Strohmeier, Ana M. D. Moreira, Stephen J. Mellor, editors, «UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings. Volume 3273 of Lecture Notes in Computer Science, pages 197-211, Springer, 2004. [doi]

@inproceedings{GieseH04,
  title = {From Informal to Formal Specifications in UML},
  author = {Martin Giese and Rogardt Heldal},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3273&spage=197},
  tags = {UML},
  researchr = {https://researchr.org/publication/GieseH04},
  cites = {0},
  citedby = {0},
  pages = {197-211},
  booktitle = {«UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings},
  editor = {Thomas Baar and Alfred Strohmeier and Ana M. D. Moreira and Stephen J. Mellor},
  volume = {3273},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-23307-5},
}