@InProceedings{Giese:2004:UML, author = "Martin Giese and Rogardt Heldal", title = "From Informal to Formal Specifications in {UML}", pages = "197--211", booktitle = "{UML} 2004 - The Unified Modeling Language. Model Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004, Proceedings", editor = "Thomas Baar and Alfred Strohmeier and Ana Moreira and Stephen J. Mellor", publisher = "Springer", series = "LNCS", volume = "3273", year = "2004", }