@inproceedings{HaberlHerrmannsdoerferKugeleetal.2010, author = {Haberl, Wolfgang and Herrmannsdoerfer, Markus and Kugele, Stefan and Tautschnig, Michael and Wechs, Martin}, title = {Seamless Model-Driven Development Put into Practice}, booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010: Proceedings, Part I}, editor = {Margaria, Tiziana and Steffen, Bernhard}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-16558-0}, doi = {https://doi.org/10.1007/978-3-642-16558-0_4}, pages = {18 -- 32}, year = {2010}, language = {en} } @inproceedings{KugeleHaberlTautschnigetal.2008, author = {Kugele, Stefan and Haberl, Wolfgang and Tautschnig, Michael and Wechs, Martin}, title = {Optimizing Automatic Deployment Using Non-functional Requirement Annotations}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008: Proceedings}, editor = {Margaria, Tiziana and Steffen, Bernhard}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-88479-8}, doi = {https://doi.org/10.1007/978-3-540-88479-8_28}, pages = {400 -- 414}, year = {2008}, language = {en} }