Proceedings ArticleDOI
Goal-oriented requirements engineering: a guided tour
Reads0
Chats0
TLDR
The paper compares the main approaches to goal modeling, goal specification and goal-based reasoning in the many activities of the requirements engineering process and suggests what a goal-oriented requirements engineering method may look like.Abstract:
Goals capture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use of goals for eliciting, elaborating, structuring, specifying, analyzing, negotiating, documenting, and modifying requirements. This area has received increasing attention. The paper reviews various research efforts undertaken along this line of research. The arguments in favor of goal orientation are first briefly discussed. The paper then compares the main approaches to goal modeling, goal specification and goal-based reasoning in the many activities of the requirements engineering process. To make the discussion more concrete, a real case study is used to suggest what a goal-oriented requirements engineering method may look like. Experience, with such approaches and tool support are briefly discussed as well.read more
Citations
More filters
Book ChapterDOI
On Non-Functional Requirements in Software Engineering
TL;DR: This chapter reviews the state of the art on the treatment of non-functional requirements (hereafter, NFRs), while providing some prospects for future directions.
Proceedings ArticleDOI
Self-Managed Systems: an Architectural Challenge
Jeff Kramer,Jeff Magee +1 more
TL;DR: Some of the current promising work in self-management is discussed and an outline three-layer reference model is presented as a context in which to articulate some of the main outstanding research challenges.
Proceedings ArticleDOI
On Non-Functional Requirements
TL;DR: The existing definitions of the term 'non-functional requirement' are surveyed, the problems with the current definitions are discussed, and concepts for overcoming these problems are contributed.
Proceedings ArticleDOI
Research Directions in Requirements Engineering
TL;DR: Current requirements engineering (RE) research is reviewed and future research directions suggested by emerging software needs are identified, which aim to address RE needs for emerging systems of the future.
Book
Developing Intelligent Agent Systems: A Practical Guide
Lin Padgham,Michael Winikoff +1 more
TL;DR: Developing Intelligent Agent Systems not only answers the questions 'what are agents?' and 'why are they useful?' but also the crucial question: 'how do I design and build intelligent agent systems?'
References
More filters
Book
The Temporal Logic of Reactive and Concurrent Systems: Specification
Amir Pnueli,Zohar Manna +1 more
Book
The temporal logic of reactive and concurrent systems
Zohar Manna,Amir Pnueli +1 more
TL;DR: Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems, and this volume (the first two), offers an introduction to temporal logic and to the computational model for reactive programs which has been developed by the authors as mentioned in this paper.
Book ChapterDOI
On Non-Functional Requirements in Software Engineering
TL;DR: This chapter reviews the state of the art on the treatment of non-functional requirements (hereafter, NFRs), while providing some prospects for future directions.
Journal ArticleDOI
Goal-directed requirements acquisition
TL;DR: An approach to requirements acquisition is presented which is driven by higher-level concepts that are currently not supported by existing formal specification languages, such as goals to be achieved, agents to be assigned, alternatives to be negotiated, etc.
Book
Safeware: System Safety and Computers
TL;DR: This chapter discusses the role of humans in Automated Systems, the nature of risk, and elements of a Safeware Program, which aims to manage Safety and Security through design and implementation.