Optimizing Automatic Deployment Using Non-functional Requirement Annotations

Stefan Kugele, Wolfgang Haberl, Michael Tautschnig, Martin Wechs. Optimizing Automatic Deployment Using Non-functional Requirement Annotations. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings. Volume 17 of Communications in Computer and Information Science, pages 400-414, Springer, 2008. [doi]

Authors

Stefan Kugele

This author has not been identified. Look up 'Stefan Kugele' in Google

Wolfgang Haberl

This author has not been identified. Look up 'Wolfgang Haberl' in Google

Michael Tautschnig

Identified as Michael Tautschnig

Martin Wechs

This author has not been identified. Look up 'Martin Wechs' in Google