Building formal requirements models for reliable software
(2001) Reliable Software Technologies - Ada-Europe 2001. 6th Ada-Europe International Conference on Reliable Software Technologies — Location: Leuven, Belgium (14.May.2001)
Files
No attached file found for this publication.
Details
- Authors
- Abstract
- Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of services and constraints, and the assignment of responsibilities for the resulting requirements to agents such as humans, devices, and software. Getting high-quality requirements is difficult and critical. Recent surveys have confirmed the growing recognition of RE as an area of primary concern in software engineering research and practice. The paper first briefly introduces RE by discussing its main motivations, objectives, activities, and challenges. The role of rich models as a common interface to all RE processes is emphasized. We review various techniques available to date for system modeling, from semi-formal to formal, and discuss their relative strengths and weaknesses when applied during the RE stage of the software lifecycle. The paper then discusses some recent efforts to overcome such problems through RE-specific techniques for goal-oriented elaboration of requirements, multiparadigm specification, the integration of non-functional requirements, the anticipation of abnormal agent behaviors, and the management of conflicting requirements.
- Affiliations
Citations
van Lamsweerde, A. (2001). Building formal requirements models for reliable software. In Craeynest, D.; Strohmeier, A.; (ed.), Reliable Software Technologies - Ada-Europea 2001. 6th Ada-EuropeInternational Conference on Reliable Software Technologies. Proceedings(Lecture Notes in Computer Science Vol.2043) (p. p. 1-20). Springer-verlag. https://hdl.handle.net/2078.5/223122