📚 形式化技术资料

📦 资源总数：53

💻 源代码：48

🔥 形式化热门资料

查看全部53个资源 »

< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成系统开发的方挂。首先

< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支持的大型程序设计方法，全面地介...

👤 康郎 ⬇️ 49 次下载

gt 语言 lt 开发指南

本书针对通信软件的特点,介绍了几种适用于通信软件需求分析阶段和设计阶段的形式化语言,包括通用建模语言UML,消息跟踪语言MSC和规格说明与描述语言SDL,重点介绍了在电信领域得到广泛应用的SDL语言.

本书针对通信软件的特点,介绍了几种适用于通信软件需求分析阶段和设计阶段的形式化语言,包括通用建模语言UML,消息跟踪语言MSC和规格说明与描述语言SDL,重点介绍了在电信领域得到广泛应用的SDL语言.并以设计一个微型交换机软件为例,说明如何运用这些形式化语言进行通信软件的需求分析,概要设计和详细设计...

👤 GHF ⬇️ 56 次下载

SDL 语言 UML MSC