软件工程基础（第二版·影印版）——国外经典计算机科学教材

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

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

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 Solutions
Bibliographic Notes
Chapter 4 Design and Software ArchitectureChapter 5 Specification
Chapter 5 Specification
Chapter 6 Verification
Chapter 7 The Software Production Process
Chapter 8 Management of Software Engineering
Chapter 9 Software Engineering Tools and Environments
Chapter 1 0 Epilogue
Appendix
Case Studies
Bibliography
Index

The first edition of this book was published in 1991. Since then,'there has been a lot of progress in computing technology and also in software engineering. Certainly the proliferation of the Internet has had a profound influence on education, research, development, business, and commerce. We decided to produce this second edition in order to bring the book up to date with respect to the advances in software engineering in the last 10 years. . We were pleased to find that the basic premise of the book--the durability and importance of princ..