基于CWM的元数据的形式化推理框架研究.pdf

软件开发的形式化方法。语义学方面的教材。

Telecommunications protocol engineering and formal methods

形式化方法用书FSUZ_Lightfoot_02

第4章 形式化说明技术 4.1 概述 4.2 有穷状态机 4.3 Petri网 4.4 Z语言 4.5 小结 习题

北大裘宗燕老师的《Z语言形式化方法》，Z语言用于编写软件规范，严格的指导编码过程。

形式化方法用书 FSUZ_Lightfoot_01

介绍了接口自动机的基本语法，针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言 (business process execution language

为了解决电铲散热系统能力不足所导致的设备故障问题,对电铲散热和散热系统设计问题进行了讨论,提出了一种基于多色集合的电铲散热系统形式化设计技术。运用多色集合理论中的层次结构模型和围道矩阵,建立了电铲散热

分布式制造调度控制体系结构的良好形式化设计是确保后续开发系统一致性和高效性的基础。以Agent（Holon）的制造调度控制体系结构模型为对象，在比较现有形式化方法优劣的基础上，提出基于一阶多元π-演算

快速傅立叶变换的应用领域非常广泛，其硬件实现方法多种多样，验证这些电路的正确性具有很强的实用价值。传统的电路正确性验证的方法是模拟，这种方法的主要缺点是随着参与运算的点数的增加，穷尽模拟全部输入情况所