000 | 01148mam a22001814a 4500 | ||
---|---|---|---|
020 | _a0133056996 | ||
040 | _cCUS | ||
082 | 0 | 0 |
_a005.1 _bGHE/F |
100 | 1 |
_aGhezzi, Carlo. _920897 |
|
245 | 1 | 0 |
_aFundamentals of software engineering / _cCarlo Ghezzi, Mehdi Jazayeri and Dino Mandrioli. |
250 | _a2nd ed. | ||
260 |
_aUpper Saddle River, N.J. : _bPrentice Hall, _c2003. |
||
300 |
_axx, 604 p. : _bill. ; _c24 cm. |
||
504 | _aIncludes bibliographical references (p. 560-588) and index. | ||
505 | 0 | 0 |
_gCh. 1. _tSoftware Engineering: A Preview -- _gCh. 2. _tSoftware: Its Nature and Qualities -- _gCh. 3. _tSoftware Engineering Principles -- _gCh. 4. _tDesign and Software Architecture -- _gCh. 5. _tSpecification -- _gCh. 6. _tVerification -- _gCh. 7. _tThe Software Production Process -- _gCh. 8. _tManagement of Software Engineering -- _gCh. 9. _tSoftware Engineering Tools and Environments -- _gCh. 10. _tEpilogue -- _gCase Study A. _tAutomating a Law Office -- _gCase Study B. _tBuilding a Family of Compliers -- _gCase Study C. _tIncremental Delivery -- _gCase Study D. _tApplying Formal Methods in Industry. |
650 | 0 |
_aSoftware Engineering. _9639 |
|
942 | _cWB16 | ||
999 |
_c1971 _d1971 |