Sciweavers

5252 search results - page 306 / 1051
» Requirements engineering: a roadmap
Sort
View
140
Voted
RE
2007
Springer
16 years 26 days ago
Specifying Monitoring and Switching Problems in Context
Context-aware applications monitor changes in their operating environment and switch their behaviour to keep satisfying their requirements. Therefore, they must be equipped with th...
Mohammed Salifu, Yijun Yu, Bashar Nuseibeh
RE
2007
Springer
16 years 26 days ago
Tracing and Validating Goal Aspects
Aspects promote a clear separation of concerns so that tangled and scattered concerns are modularized throughout software development. We propose a framework to trace aspects iden...
Yijun Yu, Nan Niu, Bruno González-Baixauli,...
RE
2007
Springer
16 years 26 days ago
Choosing a Tram Route: An Experience in Trading-Off Constraints
Trading-off is a familiar element in requirements practice, but it generally assumes a set of independent requirements competing for resources. Choosing a tram route depends inste...
Ian Alexander
REFSQ
2007
Springer
16 years 26 days ago
Towards a Tomographic Framework for Structured Observation of Communicative Behaviour in Hospital Wards
Abstract. The research presented in this paper investigates how observation of information- and communication-intensive work in hospital wards can be used to produce requirements f...
Inger Dybdahl Sørby, Øystein Nytr&os...
VMCAI
2007
Springer
16 years 26 days ago
Constraint Solving for Interpolation
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
Andrey Rybalchenko, Viorica Sofronie-Stokkermans