这套丛书为读者理解软件和软件开发过程提供了一个“全新的视角”。这三卷书首次系统地论述了如何用形式方法来指导领域工程、需求工程和软件设计，即软件工程的三个相互关联并重叠的组成部分，或称之为软件工程的“三部曲”。在软件开发的各个阶段，如果都能够采用这种形式化的开发模式，将能够在极大程度上保证软件开发的正确性和有效性。

📙 相关书籍

  1. 《软件工程 系统与语言规约》高清PDF 本书介绍系统与语言的规约的基本原理和技术。...
  2. 《软件工程．抽象与建模》高清PDF 本书介绍抽象与建模的基本原理和技巧。...
  3. 《软件工程基础 第2版》高清PDF 本书通过严格的形式化方法和非形式化方法阐述了软件工程原则和方法的重要性，有选择地介绍了软件工程基础；强调并确定了适用于整个软件生命期的基本原则，全面而深入地介绍了这些基本原则在软件设计、规范、验证、软件生产过程和管理活动中的运用；书中提供了大量的练习……...
  4. 《软件工程 实践者之路 第6版》高清PDF 本书全面系统介绍软件工程有关的概念、原则和工具，还适当介绍了新技术。...
  5. 《软件工程 面向对象和传统的方法 第7版》高清PDF 本书对软件工程的基础知识（包括面向对象和传统方法）进行了严谨和全面的介绍，是软件工程领域的经典著作，被加州大学伯克利分校等180多所美国高校选作教材，至今已是第7版。新版中着重扩展了敏捷过程和开源软件的内容。此外，崭新的Martha Stockton Greengage……...
  6. 《面向对象软件工程》高清PDF 本书阐述了软件工程的基本思想、软件开发过程、面向对象的分析与设计技术及项目管理的内容。在各章节中以软件生命周期阶段为主线，介绍了软件开发过程中的每个阶段需要达成的任务目标、涉及的基本原理及采用的技术。在每一章中都会使用同一业务背景下的案例带领读者运用讲述的知识进行实践，指导读者灵活解决实际问题。...
  7. 《软件工程 方法与实践 第2版》高清PDF 本书是在吸取了国内外有关教材的精华，并结合作者多年从事软件工程教学及软件开发的实践经验、体会的基础上编写的。内容注重科学性、先进性，强调实践性。在介绍软件工程基础知识的基础上，重点介绍面向对象的分析、设计、测试及UML统一建模语言，以及CMM软件成熟度模型、ERP企业资源规划等先进管理技术。提供了丰......
  8. 《Java程序设计教程 原书第7版 英文版》高清PDF 本书对面向对象的思想和机制进行了准确而透彻的剖析，为读者深入学习Java语言程序设本书对面向对象的思想和机制进行了准确而透彻的剖析，为读者深入学习Java语言程序设计提供了全面、详细的指导。全书覆盖了面向对象设计的广泛内容，介绍了Java语言的基本数据类型、流程控制、类和对象等。在深入分析面向对象设......
  9. 《软件工程》高清PDF 本书分为开发篇、管理篇和实验篇。开发篇讲述：软件工程概述、软件生命周期模型、可行性研究、需求分析、概要设计、详细设计、软件实现、软件测试、软件维护等内容；管理篇讲述：计划管理、质量管理、成本管理、配置管理、文档管理、人力资源管理等内容；实验篇讲述软件开发和管理最重要的10个文档写法及……...
  10. 《软件工程导论 第6版》高清PDF 本书全面系统地讲述了软件工程的概念、原理和典型的方法学，并介绍了软件项目的管理技术。本书正文共13章...

提示：百度云已更名为百度网盘（百度盘），天翼云盘、微盘下载地址……暂未提供。