本书是形式化领域入门及提高的实用指南。本书提供了使用Event-B对系统进行设计和建模的数学方法。基于改进的想法，作者的系统方法允许用户逐步构建模型并通过多种证明方法以促进系统的推理方法。读者将学习如何构建程序模型和离散系统。本书包含大量实例，包括顺序程序，并发程序和电子电路等。本书还包含了大量的练习和项目等。

📙 相关书籍

  1. 《软件工程与建模》高清PDF 本书主要介绍采用UML建模实现软件工程的主要过程，包括需求、分析、设计、代码导出、设计模型维护等，对协作开发等团队开发所要求的必备知识也进行了详细的描述。本书采用了国内实际软件工程中的大量截图，通过图形和示例描述工程实际中的问题和过程。...
  2. 《软件工程与建模项目教程》高清PDF 本书围绕着在线考试系统这一具体项目而展开，在知识点讲解时辅以其他一些案例，让学生能够更加深入的掌握。全书共分10章，分别介绍了软件工程的基本概念、需求分析、概要设计、详细设计、面向对象的分析与设计、软件测试、软件维护以及软件项目管理几部分内容。...
  3. 《软件可靠性工程》高清PDF 本书依据软件生命周期理论，首先介绍了软件可靠性工程的基础知识，然后在此基础上深入讨论了基于软件生命周期的软件可靠性建模技术、预测分析及重校准技术，最后介绍了现场数据分析的实践经验，并将上述技术应用到实际的现场数据分析中。...
  4. 《基于职业岗位能力的高技术技能型人才培养模式研究 以高职软件技术专业为例》高清PDF 本书共分为9章，主要内容包括：软件产业研究与分析、软件行业的发展现状及人才需求分析、国内外高职人才培养模式研究与分析、基于岗位群的高职软件技术专业职业能力及岗位分析等。...
  5. 《软件工程案例教程 软件项目开发实践》高清PDF 本教程以案例的形式，讲述了软件工程中软件项目开发的实践过程，全面涵盖软件项目开发中需求分析、概要设计、详细设计、编码、测试、提交以及运维等各个过程中涉及的理论、方法、技术、提交的产品和文档等。本书注重实效、系统、全面，通过贯穿始终案例的讲述可以让学习者在短时间内掌握软件项目开发的基本知识、基本过程，......
  6. 《软件工程实践教程 第2版》高清PDF 本书从实用的角度出发，根据教育部高教司审定的《中国计算机科学与技术学科教程2002》中对软件工程的要求编写，并参照美国ACM和IEEEComputingCurricula2001教程关于软件工程的描述，吸取了国内外软件工程的精华，详细介绍了软件工程、软件开发过程、软件计划、需求分析、总体设计、详细设......
  7. 《软件工程监理规范理解与实施》高清PDF 本书是GB/T19668《信息化工程监理规范》实施指南丛书之一，针对GB/T19668.5《信息化工程监理规范 第5部分：软件工程监理规范》，内容包括标准的介绍、软件工程监理的一般要求、工程各阶段的监理工作以及案例分析等，理论分析与实践相结合，可操作性强，可帮助读者更好地理解与实施软件工程监理规范国......
  8. 《软件系统分析与实现 VC++版》高清PDF 本书介绍了在VC++环境下的软件系统分析与实现，具体内容包括软件系统分析与设计概述、软件工具与开发环境介绍、经典软件分析。本书给出了三个实例：一、信息系统开发实例，是在现有系统基础上进行修改完善；二、实时视频监控系统开发实例，是从系统分析设计到实现，自行构造；三、网上游戏软件开发实例，是把一个单机运......
  9. 《软件工程教学做一体化教程》高清PDF 本书主要介绍了软件工程与软件项目的基本概念、软件项目的可行性研究、软件项目的需求分析、软件项目的概要设计、软件项目的详细设计、编码规范、单元测试、集成测试、软件项目的提交、软件项目的维护、软件项目在实施过程中如何进行管理等内容。...
  10. 《软件工程实践与项目管理研究》高清PDF 本书主要内容包括：绪论；可行性研究与需求分析管理；软件的概要设计；软件的详细设计；软件编码与实现；软件测试、调试与维护等。...

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