Specifying and Composing Non-functional Requirements in Model-Based Development (2009)

by E K Jackson, D Seifert, M Dahlweid, T Santen, N Bjørner, W Schulte
Venue:In Proceedings of the International Conference on Software Composition (SC 2009