软件工程基础

出版时间：2006-1  出版社：中国电力出版社  作者：盖伊  页数：588  

内容概要

本书通过严格的形式化方法和非形式化方法阐述了软件工程原则和方法的重要性，有选择地介绍了软件工程基础；强调并确定了适用于整个软件生命期的基本原则，全面而深入地介绍了这些基本原则在软件设计、规范、验证、软件生产过程和管理活动中的运用；书中提供了大量的练习和案例分析，既有助于读者理解书中介绍的理论知识，又可以让读者亲身体验如何应对复杂的实现问题。    第二版保留了第一版成功的组织结构，并增加了关于软件工程中新近开发的内容。　　第二版新增内容包括：　　更彻底地讨论了面向对象。

作者简介

Carlo Ghezzi，米兰工业大学计算机科学教授，主讲软件工程。鉴于他对软件工程研究方面的贡献，美国计算机协会于2000年授予其名誉会员称号。
　　Mehdi Jazayeri维也纳工业大学计算机科学教授，主讲分布式系统。他曾经在美国硅谷做过多年的软件开发，包括在美国加州的惠普实

书籍目录

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