16 search results - page 1 / 4 » Refinements and multi-dimensional separation of concerns |
ICSE
1999
IEEE-ACM
13 years 8 months ago
1999
IEEE-ACM
RE
2005
Springer
13 years 10 months ago
2005
Springer
Existing requirements engineering approaches manage broadly scoped requirements and constraints in a fashion that is largely two-dimensional, where functional requirements serve a...
SIGSOFT
2003
ACM
13 years 9 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
FMCO
2004
Springer
13 years 8 months ago
2004
Springer
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
FASE
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. Software models are key in separating and solving independent development concerns. However, there is still a gap on how to transition design information among these sepa...