@inproceedings{DBLP:conf/birthday/KnappMR15, added-at = {2016-08-09T12:02:18.000+0200}, author = {Knapp, Alexander and Mossakowski, Till and Roggenbach, Markus}, bibsource = {dblp computer science bibliography, http://dblp.org}, biburl = {https://www.bibsonomy.org/bibtex/2ebbc15d2f4083ff11c04ef7b72d5617f/tillmo}, booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering}, doi = {10.1007/978-3-319-15545-6_15}, editor = {Nicola, Rocco De and Hennicker, Rolf}, interhash = {98533c7db6215759e13e42534e9c4b0f}, intrahash = {ebbc15d2f4083ff11c04ef7b72d5617f}, isbn = {978-3-319-15544-9}, keywords = {imported}, pages = {215--230}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2017-02-14T12:05:50.000+0100}, title = {Towards an Institutional Framework for Heterogeneous Formal Development in {UML} - - {A} Position Paper -}, url = {http://link.springer.com/chapter/10.1007%2F978-3-319-15545-6_15}, volume = 8950, year = 2015 }