Fundamentals of software engineering/
Software engineering
Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli.
- 2nd ed.
- Upper Saddle River, N.J. : Prentice Hall, c2003.
- xx, 604 p. : ill. ; 24 cm.
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.