Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte. Specifying and Composing Non-functional Requirements in Model-Based Development. In Alexandre Bergel, Johan Fabry, editors, Software Composition, 8th International Conference, SC 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Volume 5634 of Lecture Notes in Computer Science, pages 72-89, Springer, 2009. [doi]
Abstract is missing.