軟件工程基礎(chǔ)

內(nèi)容概要

本書通過嚴(yán)格的形式化方法和非形式化方法闡述了軟件工程原則和方法的重要性，有選擇地介紹了軟件工程基礎(chǔ)；強(qiáng)調(diào)并確定了適用于整個(gè)軟件生命期的基本原則，全面而深入地介紹了這些基本原則在軟件設(shè)計(jì)、規(guī)范、驗(yàn)證、軟件生產(chǎn)過程和管理活動中的運(yùn)用；書中提供了大量的練習(xí)和案例分析，既有助于讀者理解書中介紹的理論知識，又可以讓讀者親身體驗(yàn)如何應(yīng)對復(fù)雜的實(shí)現(xiàn)問題。    第二版保留了第一版成功的組織結(jié)構(gòu)，并增加了關(guān)于軟件工程中新近開發(fā)的內(nèi)容?！　〉诙嫘略鰞?nèi)容包括：　　更徹底地討論了面向?qū)ο蟆?/pre>


作者簡介
Carlo Ghezzi，米蘭工業(yè)大學(xué)計(jì)算機(jī)科學(xué)教授，主講軟件工程。鑒于他對軟件工程研究方面的貢獻(xiàn)，美國計(jì)算機(jī)協(xié)會于2000年授予其名譽(yù)會員稱號。
　　Mehdi Jazayeri維也納工業(yè)大學(xué)計(jì)算機(jī)科學(xué)教授，主講分布式系統(tǒng)。他曾經(jīng)在美國硅谷做過多年的軟件開發(fā)，包括在美國加州的惠普實(shí)


書籍目錄
Chapter 1 Software Engineering：A Preview 1.1 The Role of Software Engineering in System Design 1.2 A Shortened History of Software Engineering 1.3 The Role of The Software Engineer 1.4 The Software Life Cycle 1.5 The Relationship of Software Engineering to Other Areas of Computer Science  1.5.1 Programming Languages  1.5.2 Operating Systems   1.5.3 Data Bases   1.5.4 Artificial Intelligence  1.5.5 Theoretical Models 1.6 The Relationship of Software Engineering to Other Disciplines   1.6.1 Management Science   1.6.2 SystemsEngineering  1.7 Concluding RemarKs Bibliographic Notes Chapter 2 Software：Its Nature and Qualities  2.1 Classification of Software Qualities   2.1.1 External Versus Internal Qualities  2.1.2 Product and Process Qualities 2.2 Representative Qualities  2.2.1 Correctness，Reliability,and Robustness   2.2.2 Performance  2.2.3 Usability   2.2.4 Verifiabilitv  2.2.5 Maintainabilitv  2.2.6 Reusability  2.2.7 Portability  2.2.8 Understandability   2.2.9 Interoperability   2.2.10 Productivity   2.2.11 Timeliness   2.2.12 Visibility  2.3 Quality Requirements in Different Application Areas  2.3.1 Information Systems  2.3.2 Real-Time Systems   2.3.3 Distributed Systems  2.3.4 Embedded Systems 2.4 Measurement of Quality 2.5 Concluding Remarks FUrther Exercises Hints and Sketchy Solutions Biblio graphic Notes Cha pter 3 Software Engineering Principles. 3.1 Rigor and Formality 3.2 Separation of Concerns 3.3 Modularitv 3.4 Abstraction 3.5 Anticip ation of Change 3.6 Generality 3.7 Incrementality 3.8 Two Case Studies Illustrating Software Engineering Principles  3.8.1 Application of Software Engineering Principles to Compiler Construction  3.8.2 A Case Study in System Engineering 3.9 Concluding Remarks Further Exercises Hints and Sketchy SolutionsBibliographic NotesChapter 4 Design and Software ArchitectureChapter 5 SpecificationChapter 5 SpecificationChapter 6 VerificationChapter 7 The Software Production Process Chapter 8 Management of Software Engineering Chapter 9 Software Engineering Tools and Environments Chapter 1 0 Epilogue AppendixCase StudiesBibliographyIndex









圖書封面






評論、評分、閱讀與下載



還沒讀過(28)
勉強(qiáng)可看(209)
一般般(357)
內(nèi)容豐富(1483)
強(qiáng)力推薦(121)


 


    軟件工程基礎(chǔ) PDF格式下載