5904 search results - page 1 / 1181 » Requirements for a Composition Language |
SLE
2009
Springer
13 years 9 months ago
2009
Springer
Composition of requirements models in Software Product Line (SPL) development enables stakeholders to derive the requirements of target software products and, very important, to re...
ECOOPW
1994
Springer
13 years 9 months ago
1994
Springer
A composition language based on a formal semantic foundation will facilitate precification of glue abstractions and compositions, and will support reasoning about their behaviour....
AOSD
2009
ACM
13 years 9 months ago
2009
ACM
Most current aspect composition mechanisms rely on syntactic references to the base modules or wildcard mechanisms quantifying over such syntactic references in pointcut expressio...
REFSQ
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
SIGSOFT
2003
ACM
14 years 5 months ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...