形式描述技术相关论文
协议是计算机网络的命脉，协议复杂性的提高导致协议工程学科的出现。协议工程的主要活动包括协议描述、验证、性能分析、自动实现和......
利用面向对象程序设计语言 Java完善从文体 LOTOS到 GE-LOTOS的工具软件 ,使得以抽象层形式体现出来的 GE-LOTOS的某一子过程或所......
协议是计算机网络的命脉,协议复杂性的提高导致了协议工程学科的出现.该文首先分析了协议工程各项活动的内容、方法和相互关系,讨......
在赵玉兰的编译软件的基础上完成了对相同节点的合并;实现了对递归的处理;用两种方法实现了loop循环语句以及实现了多层次调用子程......
阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议.介绍了协议工程、形式化方法及核心技术形式描述......
广播通道（点到多点通道）是一种普遍适用于计算机通信网络的结构概念。而作为形式化描述技术（FDT）标准之一的Estelle，其本身并不支持广播......
