TY  - BOOK
AU  - Ghezzi,Carlo
AU  - Jazayeri,Mehdi
AU  - Mandrioli,Dino
TI  - Fundamentals of software engineering
SN  - 0133056996
U1  - 005.1 
PY  - 2003///
CY  - Upper Saddle River, N.J.
PB  - Prentice Hall
KW  - Software engineering
N1  - Includes bibliographical references (p. 560-588) and index; Ch. 1. Software Engineering: A Preview -- 
Ch. 2. Software: Its Nature and Qualities -- 
Ch. 3. Software Engineering Principles -- 
Ch. 4. Design and Software Architecture -- 
Ch. 5. Specification -- 
Ch. 6. Verification -- 
Ch. 7. The Software Production Process -- 
Ch. 8. Management of Software Engineering -- 
Ch. 9. Software Engineering Tools and Environments -- 
Ch. 10. Epilogue -- Case Study A. Automating a Law Office -- Case Study B. Building a Family of Compliers -- Case Study C. Incremental Delivery -- Case Study D. Applying Formal Methods in Industry
ER  -