000 01136cam a22002894a 4500
999 _c1969
_d1969
020 _a0133056996
040 _cCUS
082 0 0 _a005.1
_bGHE/F
100 1 _aGhezzi, Carlo.
245 1 0 _aFundamentals of software engineering/
_cCarlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli.
246 3 0 _aSoftware engineering
250 _a2nd ed.
260 _aUpper Saddle River, N.J. :
_bPrentice Hall,
_cc2003.
300 _axx, 604 p. :
_bill. ;
_c24 cm.
504 _aIncludes bibliographical references (p. 560-588) and index.
505 _aCh. 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.
650 0 _aSoftware engineering.
700 1 _aJazayeri, Mehdi.
700 1 _aMandrioli, Dino.
942 _cWB16