Sciweavers

Share
SIGSOFT
2008
ACM

Requirements engineering: from craft to discipline

10 years 3 months ago
Requirements engineering: from craft to discipline
Getting the right software requirements under the right environment assumptions is a critical precondition for developing the right software. This task is intrinsically difficult. We need to produce a complete, adequate, consistent, and well-structured set of measurable requirements and assumptions from incomplete, imprecise, and sparse material originating from multiple, often conflicting sources. The system we need to consider comprises software and environment components including people and devices. A rich system model may significantly help us in this task. Such model must integrate the intentional, structural, functional, and behavioral facets of the system being conceived. Rigorous techniques are needed for model construction, analysis, exploitation, and evolution. Such techniques should support early and incremental reasoning about partial models for a variety of purposes including satisfaction arguments, property checks, animations, the evaluation of alternative options, the ...
Axel van Lamsweerde
Added 20 Nov 2009
Updated 20 Nov 2009
Type Conference
Year 2008
Where SIGSOFT
Authors Axel van Lamsweerde
Comments (0)
books