| LIBRARY OF CONGRESS CONTROL NUMBER |
|---|
| LC control number |
2002072727 |
| INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9780133056990 |
| DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Call number |
005.1 GH FU |
| MAIN ENTRY--PERSONAL NAME |
|---|
| Authors |
Ghezzi, Carlo |
| TITLE STATEMENT |
|---|
| Title |
Fundamentals of software engineering |
| Statement of responsibility, etc |
Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli |
| VARYING FORM OF TITLE |
|---|
| Title proper/short title |
Software engineering |
| EDITION STATEMENT |
|---|
| Edition |
2nd ed. |
| PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
|---|
| Place of publication |
Upper Saddle River, N.J. : |
| Publisher |
Prentice Hall, |
| Date |
c2003. |
| PHYSICAL DESCRIPTION |
|---|
| Extent |
xx, 604 p. : |
| Other Details |
ill. ; |
| Size |
24 cm. |
| SUMMARY |
|---|
| Summary |
This book provides selective, in-depth coverage of the fundamentals of software engineering by stressing principles and methods through rigorous formal and informal approaches. In contrast to other books which are based on the lifecycle model of software development, the authors emphasize identifying and applying fundamental principles that are applicable throughout the software lifecycle. This emphasis enables readers to respond to the rapid changes in technology that are common today. Principles and techniques are emphasized rather than specific tools—users learn why particular techniques should or should not be used. Understanding the principles and techniques on which tools are based makes mastering a variety of specific tools easier. The authors discuss principles such as design, specification, verification, production, management, and tools. Now coverage includes: more detailed analysis and explanation of object-oriented techniques; the use of Unified Modeling Language (UML); requirements analysis and software architecture; Model checking—a technique that provides automatic support to the human activity of software verification; GQM—used to evaluate software quality and help improve the software process; Z specification language. For software engineers. |
| STUDY PROGRAM |
|---|
| Program name |
CSCI318 |
| SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical Heading |
Software engineering |
| ADDED ENTRY |
|---|
| Name |
Jazayeri, Mehdi |
| ADDED ENTRY |
|---|
| Name |
Mandrioli, Dino |
| ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
https://uowd.box.com/s/awqkbckqx30dvedoyetvm3olrhf6uzdp |
| Public note |
Location Map |
| MAIN ENTRY--PERSONAL NAME |
|---|
| -- |
25954 |
| SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| -- |
551 |
| ADDED ENTRY |
|---|
| -- |
25955 |
| ADDED ENTRY |
|---|
| -- |
25956 |