本书选取并介绍了三种代表性的形式化方法，它们分别是以集合论和一阶谓词演算为基础的Z语言，以时态逻辑为基础的XYZ，还有以直觉数学学派为基础的类型理论。

📙 相关书籍

  1. 《软件工程专业毕业设计宝典》高清PDF 本书共分为两篇，分别为毕业设计基础和毕业设计案例选编。第一篇介绍了有关毕业设计的基础知识，针对软件专业学生的毕业设计的具体要求等进行了简要地说明，对于在毕业设计过程中应用的软件工程系列工具的获取方法等也进行了介绍；第二篇给出了涵盖软件工程理论探讨、算法研究、数据处理软件开发等类课题的特色案例。...
  2. 《软件工程推进方法》高清PDF 本书作为软件工程的指南书籍主要介绍有关软件开发的基本概念及软件工程概要，涉及软件工程的标准过程、软件开发模型及典型设计方法等的介绍。...
  3. 《软件工程的事实与谬误》高清PDF 本书抽取了软件行业中经典的55个基本事实和10个谬误进行分析，对于每个观点都提供了来源和证据以及相关的参考文献。并介绍了业界对观点的其他不同认识和理解。...
  4. 《软件工程学习与实践》高清PDF 本书是计算机科学与技术系列教材《软件工程》的配套用书，它除了对教材中的习题予以解答外，又补充了若干套综合测试题及解答，并附有7个软件参考实例。...
  5. 《软件工程》高清PDF 高等学校计算机科学与技术教材:本书运用了前沿的科学知识和系统科学来处理软件和软件工程的复杂性。使用了IEEE的软件工程知识体系（SWEBOK2004）、著名的软件过程成熟度模型（CMM/CMMI）和NASA的软件开发实践经验。针对中国的实际情况和软件产业发展情况，突出了软件质量管理和软件过程改进，采......
  6. 《软件工程基础》高清PDF 本书全面系统地阐述了自动化领域软件工程的基本概念、基本技术和基本方法。全书共16章，主要内容包括：软件开发过程和软件开发模型、软件需求分析、软件测试和软件维护、软件工程管理、软件设计基础、UML建模语言、实时系统软件设计、工业自动化组态软件技术。组态软件……...
  7. 《软件工程管理实践》高清PDF 本书主要介绍软件组织，进行软件开发与管理应掌握的理论知识及管理方法。...
  8. 《软件工程 第2版》高清PDF ...
  9. 《软件工程》高清PDF ...
  10. 《软件工程》高清PDF 高等院校计算机基础教育规划教材:本书介绍了软件的概念、发展、软件危机等，并论述了软件工程的方法、技术，介绍了面向对象软件工程学和统一建模语言UML、软件项目管理等。...

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