• 所属院系:计算机学院(软件学院)
年份: ~

按条件检索“1”条记录

已选条件:
导出
  • 排序
  • 显示
1. 基于面向对象方法的形式描述技术OOBFDT 会议论文 认领

作者:何立强;叶新铭

作者机构:[何立强;叶新铭]内蒙古大学计算机学院(呼和浩特)

来源:东南大学学报(自然科学版)2002第32卷,2002

会议名称:第九届CERNET学术年会

会议时间:2002

会议地点:南京

关键词:OOBFDT;面向对象方法;形式描述技术;协议模型;协议一致性测试

摘要:介绍了一种新的形式描述技术——基于面向对象的形式描述技术OOBFDT,讨论了协议的建模方法,并在协议的模型上给出了导出一致性测试例集的3种算法,同时,讨论了一致性 更多

更新时间:Mar 28, 2019
TOP