本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法。

📙 相关书籍

  1. 《软件体系结构的方法及开发技术研究》高清PDF 软件体系结构是从软件设计发展出来的一门新兴学科，目前已经成为软件工程的一个重要研究领域。本书主要论述了软件体系结构的方法和开发技术，既兼顾传统的和实用的软件框架开发方法，又包含软件体系结构的最新研究成果，力图反映本学科的最新成就和发展趋势。...
  2. 《软件实践教学模式的敏捷重构》高清PDF 这是一本关于教育教学方法论的专著，同时也是把敏捷软件开发理论运用到教学过程的实践性跨学科专著。作者把多年企业敏捷软件开发经验，应用到计算机软件专业的教学实践领域，并形成一套完整的敏捷实践框架、原则和方法，从敏捷教学实施前、实施中和实施后分别论述，从而优化教学管理、提升教学质量。全书主要论述敏捷软件开......
  3. 《可信嵌入式软件开发方法与实践》高清PDF 本书从广泛的角度介绍了可信嵌入式软件工程相关的概念、技术、方法和实践。全书共分为4个部分共23章。第1部分为概论，介绍了嵌入式系统和嵌入式软件的分类、特征和发展情况，并对可信性软件的相关基本概念、属性和需要关注的研究内容进行了描述：重点阐述了软件自身的特点、导致软件不可信的因素和软件开发遇到的困扰；......
  4. 《基于虚拟可信平台的软件可信性研究》高清PDF 本文对基于虚拟可信平台软件可信性度量模型进行了研究，并提出两阶段层次化虚拟可信系统度量模型—TSVTMM，基于该模型提出基于软件可信属性完整性度量方法，并对TCG标准数据封装进行改进，提出了针对可信软件完整性度量列表（TSIML）的数据封装存储方案。根据TCG动态度量的实际需求提出了软件行为动态可信......
  5. 《特色化软件人才培养模式的创新与实践》高清PDF 本书可供高校师生，以及科研机构、软件企业、政府相关部门的研究者、管理者和决策者参与……...
  6. 《面向普适环境的自适应中间件模型与方法》高清PDF 普适计算固有的内在复杂性对当前的基础软件设施提出了全新的挑战，迫切需要一种具有自适应能力的中间件基础设施。本书针对普适计算对中间件的全新要求，集中突破基于构件的中间件在设计部署和运行阶段如何实现自适应的方法难点，为普适计算应用提供自适应中间件的理论和方法支持。本书主要内容包括：建立了自适应中间件模型......
  7. 《异构组件互操作技术研究》高清PDF 18170403010202...
  8. 《产品架构评估原理与方法》高清PDF 产品架构是产品模块之间的关系总和，自身会在模块化和一体化间发生变动。同时，也会在价值链环节之间流动。本书从变动和流动两个维度出发，理解产品架构的基本属性，为产品架构评估提供系统化的方法。...
  9. 《浸入式软件人才培养 案例与实践》高清PDF 本书包括：浸入式教育概论，IT浸入式人才培养模式，浸入式软件实训案例之C/S应用篇，浸入式软件实训案例之Web应用篇，浸入式软件实训案例之HTML5开发篇。...
  10. 《知行合一 实现价值驱动的敏捷和精益开发》高清PDF 本书是作者几十年从事软件工程教学、咨询和研究的一个总结，系统探讨了从瀑布模式到敏捷模式转型的成功实践，在特定企业环境下让敏捷在组织、团队、项目中落地，并使其价值最大化，摆脱常见的“形似神不似”的敏捷实施。本书关于CMMI和敏捷开发模式结合的内容对国内众多的CMMI企业有很好的现实意义，二者的互补性使......

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