Specifying and Composing Non-functional Requirements in Model-Based Development

Ethan K. Jackson, Dirk Seifert, Thomas Santen, Nikolaj Bjørner, Wolfram Schulte, and Markus Dahlweid

Details

Publication typeInproceedings
Published inProceedings of the 8th International Conference on Software Composition
Pages72-89
PublisherSpringer Verlag
> Publications > Specifying and Composing Non-functional Requirements in Model-Based Development