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