| 000 -LEADER |
|---|
| fixed length control field |
03300cam a2200313 a 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
15412825 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
CITU |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20210304062134.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
080814s2009 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 |
(OCoLC)ocn243941685 |
| 040 ## - CATALOGING SOURCE |
|---|
| Original cataloging agency |
DLC |
| Transcribing agency |
DLC |
| Modifying agency |
BWKUK |
| -- |
BWK |
| -- |
YDXCP |
| -- |
CDX |
| -- |
IXA |
| -- |
OCLCQ |
| -- |
DLC |
| 050 00 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
QA76.758 |
| Item number |
.L28 2009 |
| 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) |
| 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 #1 - PUBLICATION, DISTRIBUTION, ETC. |
|---|
| Place of publication, distribution, etc. |
Chichester, England ; |
| Name of publisher, distributor, etc. |
Wiley, |
| Date of publication, distribution, etc. |
c2009. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
xxix, 682 pages : |
| Other physical details |
illustrations ; |
| 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 |
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. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
"This book provides a systematic and practical approach to the engineering of high-quality requirements. It covers the entire requirements lifecycle and integrates state-of-the-art techniques for requirements elicitation, evaluation, specification, analysis, and evolution. Modelling plays a central role. A method is presented for building and analyzing a multi-view model of the target system, where each step is supported by heuristic rules, tactics, modelling patterns, and bad smells to avoid." "The book is primarily written for undergraduates and masters students in software or system engineering to acquire a solid background in requirements engineering and system modelling. It is also intended for practitioners in need of systematic guidance for elaborating and analyzing requirements. The last part on model-based reasoning is more targeted to graduate students."--Jacket. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name entry element |
Systems engineering. |
| 856 41 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Materials specified |
Table of contents only |
| Uniform Resource Identifier |
<a href="http://www.loc.gov/catdir/toc/ecip0825/2008036187.html">http://www.loc.gov/catdir/toc/ecip0825/2008036187.html</a> |
| 906 ## - LOCAL DATA ELEMENT F, LDF (RLIN) |
|---|
| a |
7 |
| b |
cbc |
| c |
orignew |
| d |
1 |
| e |
ecip |
| f |
20 |
| g |
y-gencatlg |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) |
|---|
| Source of classification or shelving scheme |
|
| Koha item type |
BOOK |