Requirements Engineering: From System Goals to UML Models to Software Specifications

The book presents both the current state of the art in requirements engineering and a systematic method for engineering high-quality requirements, broken down into four parts. The first part introduces fundamental concepts and principles including the aim and scope of requirements engineering, the products and processes involved, requirements qualities to aim at and flaws to avoid, and the critical role of requirements engineering in system and software engineering.

The second part of the book is devoted to system modeling in the specific context of engineering requirements. It presents a multi-view modeling framework that integrates complementary techniques for modeling the system-as-is and the system-to-be. The third part of the book reviews goal-based reasoning techniques to support the various steps of the KAOS method. The fourth part of the book goes beyond requirements engineering to discuss the mapping from goal-oriented requirements to software specifications and to software architecture.

Online resources will accompany the book and will add value to both classroom and self-study by enabling students to build models and specifications involved in the book’s exercises and case studies, helping them to discover the latest RE technology solutions. Instructor resources such as slides, solutions, models and animations will be available from an accompanying website.

這本書介紹了需求工程的最新技術和一種系統化的方法，用於工程高品質的需求，分為四個部分。第一部分介紹了基本概念和原則，包括需求工程的目標和範圍、涉及的產品和流程、需求品質的目標和要避免的缺陷，以及需求工程在系統和軟體工程中的關鍵角色。

第二部分專注於在工程需求的特定背景下進行系統建模。它提出了一個多視圖建模框架，整合了用於建模現有系統和未來系統的互補技術。

第三部分回顧了支持KAOS方法各個步驟的基於目標的推理技術。

第四部分超越了需求工程，討論了從面向目標的需求到軟體規格和軟體架構的映射。

網上資源將附帶該書，並通過使學生能夠建立與書中練習和案例研究相關的模型和規格，為課堂和自學增加價值，幫助他們發現最新的需求工程技術解決方案。教師資源，如投影片、解答、模型和動畫，將從相應的網站提供。