John Wiley & Sons Requirements Engineering Cover This book presents a disciplined approach to the engineering of high-quality requirements. The appro.. Product #: 978-0-470-01270-3 Regular price: $65.33 $65.33 In Stock

Requirements Engineering

From System Goals to UML Models to Software Specifications

van Lamsweerde, Axel

Cover

1. Edition January 2009
712 Pages, Softcover
Textbook

ISBN: 978-0-470-01270-3
John Wiley & Sons

Short Description

This book presents a disciplined approach to the engineering of high-quality requirements. The approach covers the entire requirements lifecycle and integrates state-of-the-art techniques for requirements elicitation, evaluation, specification, analysis, and evolution. Modeling plays a central role in this approach. Rich, requirements-specific models provide a common interface to the various RE activities. Such models capture the multiple facets of the system-as-is and the system-to-be, comprising both software and environment components. The book puts a strong emphasis on systematic, replicable techniques for requirements engineering.

Further versions

mobi

Essential comprehensive coverage of the fundamentals of requirements engineering

Requirements engineering (RE) deals with the variety of prerequisites that must be met by a software system within an organization in order for that system to produce stellar results. With that explanation in mind, this must-have book presents a disciplined approach to the engineering of high-quality requirements. Serving as a helpful introduction to the fundamental concepts and principles of requirements engineering, this guide offers a comprehensive review of the aim, scope, and role of requirements engineering as well as best practices and flaws to avoid.
* Shares state-of-the-art techniques for domain analysis, requirements elicitation, risk analysis, conflict management, and more
* Features in-depth treatment of system modeling in the specific context of engineering requirements
* Presents various forms of reasoning about models for requirements quality assurance
* Discusses the transitions from requirements to software specifications to software architecture

In addition, case studies are included that complement the many examples provided in the book in order to show you how the described method and techniques are applied in practical situations.

Contents

Preface

Part 1: Fundamentals of Requirements Engineering

Chapter 1 Setting the Scene

Chapter 2 Domain Analysis and Requirements Elicitation

Chapter 3 Requirements Evaluation

Chapter 4 Requirements Specification and Documentation

Chapter 5 Requirements Quality Assurance

Chapter 6 Requirements Evolution

Chapter 7 Goal-Orientation in Requirements Engineering

Part 2: Building System Models for Requirements Engineering

Chapter 8 Modeling System Objectives with Goal Diagrams

Chapter 9 Anticipating What Could Go Wrong: Risk Analysis on Goal Models

Chapter 10 Modeling Conceptual Objects with Class Diagrams

Chapter 11 Modeling System Agents and Responsibilities

Chapter 12 Modeling System Operations

Chapter 13 Modeling System Behaviors

Chapter 14 Integrating Multiple System Views

Chapter 15 A Goal-Oriented Model Building Method in Action

Part 3: Reasoning About System Models

Chapter 16 Semi-Formal Reasoning for Model Analysis and Exploitation

Chapter 17 Formal Specification of System Models

Chapter 18 Formal Reasoning for Specification Construction and Analysis

Bibliography

Appendix: Requirements Document Generated from a Goal-Oriented Model

Index
Axel van Lamsweerde is Professor in the Department of Computing Science at the Université catholique de Louvain (UCL), Belgium. He recently received the ACM SIGSOFT Outstanding Research Award for "deep and lasting contributions to the theory and practice of requirements engineering".

A. van Lamsweerde, University Catholique de Louvain