Requirements engineering : (Record no. 3275)
[ view plain ]
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
|---|---|
| fixed length control field | 100303s2009 enka b 001 0 eng |
| 010 ## - LIBRARY OF CONGRESS CONTROL NUMBER | |
| LC control number | 2008036187 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9780470012703 (pbk.) |
| 035 ## - SYSTEM CONTROL NUMBER | |
| System control number | (Sirsi) u4277 |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | EG-CaNU |
| Transcribing agency | EG-CaNU |
| Modifying agency | EG-CaNU |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | ncode |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 005.1 |
| Edition number | 22 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Lamsweerde, A. van |
| Fuller form of name | (Axel) |
| 9 (RLIN) | 8508 |
| 245 10 - TITLE STATEMENT | |
| Title | Requirements engineering : |
| Remainder of title | from system goals to UML models to software specifications / |
| Statement of responsibility, etc. | Axel van Lamsweerde. |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Chichester, England ; |
| -- | Hoboken, NJ : |
| Name of publisher, distributor, etc. | John Wiley, |
| Date of publication, distribution, etc. | c2009. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xxix, 682 p. : |
| Other physical details | ill. ; |
| Dimensions | 24 cm. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references (p. [641]-667) and index. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Fundamentals of Requirements Engineering -- Setting the Scene -- Domain Analysis and Requirements Elicitation -- Requirements Evaluation -- Requirements Specification and Documentation -- Requirements Quality Assurance -- Requirements Evolution -- Goal-Orientation in Requirements Engineering -- Building System Models for Requirements Engineering -- Modeling System Objectives with Goal Diagrams -- Anticipating What Could Go Wrong: Risk Analysis on Goal Models -- Modeling Conceptual Objects with Class Diagrams -- Modeling System Agents and Responsibilities -- Modeling System Operations -- Integrating Multiple System Views -- A Goal-Oriented Model Building Method in Action -- Reasoning About System Models -- Semi-Formal Reasoning for Model Analysis and Exploitation -- Formal Reasoning for Specification Construction and Analysis? . |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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 software 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. |
| 596 ## - | |
| -- | 1 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Software engineering. |
| 9 (RLIN) | 8509 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | Systems engineering. |
| 9 (RLIN) | 8510 |
| 920 ## - | |
| -- | 0470012706 (pbk.) |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Shelving location | Date acquired | Source of acquisition | Total Checkouts | Full call number | Barcode | Date last seen | Copy number | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | Main library | Main library | General Stacks | 01/26/2020 | ACA-P | 005.1 / LA.R 2009 | 006605 | 11/24/2019 | 1 | 11/24/2019 | Books |