书名:软件工程基础(第2版**版)
编号:206533
ISBN:9787508338767[十位:7508338766]
作者:(意)盖伊 查耶 曼德若利
出版社:中国电力出版社
出版日期:2006年01月
页数:588
定价:58.00 元
参考重量:0.866Kg
-------------------------
图书情况:正版二手旧书,绝不影响正常阅读!
绝无缺页少页,发货前再次检查,请放心购买!
* 内容提要 *
本书通过严格的形式化方法和非形式化方法阐述了软件工程原则和方法的重要性,有选择地介绍了软件工程基础;强调并确定了适用于整个软件生命期的基本原则,全面而深入地介绍了这些基本原则在软件设计、规范、验证、软件生产过程和管理活动中的运用;书中提供了大量的练习和案例分析,既有助于读者理解书中介绍的理论知识,又可以让读者亲身体验如何应对复杂的实现问题。
第二版保留了第一版成功的组织结构,并增加了关于软件工程中新近开发的内容。
第二版新增内容包括:
更彻底地讨论了面向对象。
* 图书目录 *
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
* 文章节选 *
暂无相关介绍
* 编辑推荐与评论 *
暂无相关介绍
* 作者介绍 *
Carlo Ghezzi,米兰工业大学计算机科学教授,主讲软件工程。鉴于他对软件工程研究方面的贡献,美国计算机协会于2000年授予其名誉会员称号。
Mehdi Jazayeri维也纳工业大学计算机科学教授,主讲分布式系统。他曾经在美国硅谷做过多年的软件开发,包括在美国加州的惠普实验室那10年的经历。
Dino Mandrioli米兰工业大学计算机科学教授,主讲计算机科学原理。他的研究兴趣主要是软件工程实践中的形式化方式。
-
暂无评论。