本书从软件实际开发过程出发，将形式化技术应用于每个开发阶段，系统地介绍了基于B方法完成软件形式化开发的模式、过程、技术和方法，其中包括UML模型图到B方法形式规约的比较全面的转换方法，实现形式规约的精化过程，形式化B方法的验证技术，从UML形式化规约的逐步精化的规范与方法问题，整个规约、精化直到代码生产阶段的模型形式化验证及自动化，基于B方法的面向对象软件体系结构的形式化方法。

📙 相关书籍

  1. 《面向对象的嵌入式软件开发》高清PDF 本书立足编程实践，以Linux或者Windows为开发平台，从初学者的角度出发，以面向对象程序设计思想为主线，结合实际项目的开发需求，将隐藏在面向对象背后的关于C++抽象、封装、继承、多态等机制和知识娓娓道来，用通俗易懂的语言展开讲解，不仅让读者知其然，更要让读者知其所以然，最终让这些知识再反作用于......
  2. 《大道至易 实践者的思想》高清PDF 本书可以看成是《大道至简》的姊妹篇，是以软件工程为体系、以组织结构为视角，融合系统架构师、项目管理者和软件开发人员三种角色实践的思想总结。本书讨论这些思想，并陈述它们所基于的原则、背景与获得过程。...
  3. 《计算机软件开发技术与应用》高清PDF 本书是在原“计算机软件技术基础”课程教学内容的基础上，为适应社会发展和软件开发教学的需要，经过三年实际教学实践，逐步调整、编排而成的。全书分为基础篇、软件工程与设计篇、开发实例与实验篇3个部分，主要内容包括C#.NET程序设计基础、数据结构、软件工程、数据库技术、软件开发实...
  4. 《软件工程与计算 卷2 软件开发的技术基础》高清PDF 院校软件工程专业规划教材软件工程与计算（卷2）软件开发的技术基础》作为国家精品课程“软件工程与计算”系列课程的第二门课程配套教材，《高等院校软件工程专业规划教材软件工程与计算（卷2）软件开发的技术基础》以经典软件工程方法与技术为主线，软件开发技术与程序设计知识为教学重点，培养学生简单小组级别、中小规......
  5. 《敏捷开发一千零一夜》高清PDF 本书以多位作者的亲身经历，再现真实的敏捷实施过程，描述各个企业在实施敏捷的过程中，遇到的种种问题、解决的思路及最终得到的经验与教训。这本案例集从不同的视角，为读者展示从大型互联网企业到初创公司、从大型国企到独资外企、从典型的甲方到第三方咨询公司的敏捷历程。这里面既有大的组织的敏捷转型，也有一个小团队......
  6. 《软件开发与软件架构》高清PDF 大型复杂的应用软件的开发，往往都存在着开发周期长、成本高、质量差、适应性差、难维护等问题。其中最为关...
  7. 《基元设计模式 英文版》高清PDF 本书内容：即使是经验丰富的软件专业人士，也会发现要为其企业找到能带来实质价值的模式应用方式殊非易事。本书首次全面的方法论介绍基元设计模式，给出标准的命名和描述，阐述它们的重要性，帮助人们比较和选用，充分利用模式的真正力量，将它们转化成实际的、更加简洁直接?...
  8. 《软件项目实践案例教程》高清PDF 首先简单介绍案例中用到的系统开发方法，案例研发使用的开发技术和开发环境。案例介绍采取的原则是由浅入深、由简单到复杂、由模拟系统到实际应用系统。案例一和案例二是以原型法为主要开发方法的ATM取款管理系统和MVC模式网络考试系统；案例三和四以生命周期法为主要开发方法的网上灯饰店和家具网站；案例五以面向对......
  9. 《Scrum实战 故事、模型与成功秘诀》高清PDF 针对如何用好、用巧这个看似简单的框架，本书结合故事、模型和成功秘诀三大要素，透彻讲解确保Scrum取得成功的基本要素。...
  10. 《西门子WinCC组态软件工程应用技术》高清PDF 本书以西门子WinCCV7.0为工业人机交互组态技术教学目标软件，在讲解组态软件基础知识的基础上，注重理论与工程实践相结合，把组态软件控制技术的思想和方法及其工程实例融合到本书内容中，便于读者在学习过程中理论联系实际，较好地掌握组态软件基础知识和工程设计方法。在内容上，本书包括基础知识与工程设计及应......

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