000 | 02159nam a2200193 a 4500 | ||
---|---|---|---|
003 | AR-LpUFIB | ||
005 | 20250311170305.0 | ||
008 | 230201s2008 xxua r 000 0 eng d | ||
020 | _a9780849319310 (alk. paper) | ||
024 | 8 |
_aDIF-M3179 _b3278 _zDIF003087 |
|
040 |
_aAR-LpUFIB _bspa _cAR-LpUFIB |
||
100 | 1 | _aWang, Yingxu | |
245 | 1 | 0 |
_aSoftware engineering foundations : _ba software science perspective |
260 |
_aBoca Raton : _b[S.n.], _cc2008 |
||
300 | _axlvi, 1435 p. : il. ; 25 cm. | ||
505 | 0 | _a I. Principles constraints of software engineering -- 1. Introduction -- 2. Principles of software engineering -- II. Theoretical foundations of software engineering -- 3. Philosophical foundations of software engineering -- 4. Mathematical foundations of software engineering -- 5. Computing foundations of software engineering -- 6. Linguistics foundations of software engineering -- 7. Information science foundations of software engineering -- III. Organizational foundations of software engineering -- 8. Engineering foundations of software engineering -- 9. Cognitive informatics foundations of software engineering -- 10. System science foundations of software engineering -- 11. Management science foundations of software engineering -- 12. Economics foundations of software engineering -- 13. Sociology foundations of software engineering -- IV. Perspectives on software science -- 14. Retrospect on software engineering -- 15. Prospect on software science -- Bibliography -- Appendixes -- A. Mathematical symbols, notations, abbreviations -- B. Constraints of software engineering -- C. Empirical principles of software engineering -- D. Models of entities structures of software engineering -- E. Wang's laws of software engineering -- F. Wang's formal principles of software engineering -- G. The type system of software engineering -- H. Meta processes of software engineering -- I. Algebraic process relations of software engineering -- J. Deductive semantics of software engineering -- K. Formal model of the ATM system in RTPA -- L. List of figures -- M. List of tables -- Index | |
650 | 4 | _aINGENIERÍA DE SOFTWARE | |
942 | _cBK | ||
999 |
_c52941 _d52941 |