期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
基于ESTELLE的人具界面语言TIL
下载PDF
职称材料
导出
摘要
随着形式描述技术FDT的日趋成熟,有必要开发一种真正意义上的集成化协议开发工具集,本文引入面向对象模型,提出了一种基ESTELLE的工具界面语言TIL,使得在工具集中,各工具的内数数据表示式相同,并且输入/输出兼容,从而提高了软件的并行性可移性。
作者
丁晋
杨培根
机构地区
南京大学
出处
《软件学报》
EI
CSCD
北大核心
1997年第A00期109-115,共7页
Journal of Software
关键词
ESTELLE
面向对象
TIL语言
通信协议
分类号
TP393 [自动化与计算机技术—计算机应用技术]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
0
引证文献
0
二级引证文献
0
1
潘红艳,于全.
用于通信网络协议开发的形式化方法[J]
.计算机工程,2004,30(2):129-130.
被引量:8
2
李腊元.
Estelle:通信协议的一种形式描述技术及应用[J]
.计算机应用与软件,1992,9(4):20-30.
3
丁晋,杨培根.
小型文件传输协议TFTP的形式化描述和自动生成工具EIT[J]
.计算机研究与发展,1997,34(S1):136-140.
被引量:4
4
PHOTOSHOP′TIL YOU DROP[J]
.计算机光盘软件与应用(COMPUTER ARTS数码艺术),2004(5):10-10.
5
全能助手快速启动专家[J]
.数码先锋,2006,0(4):69-69.
6
阳光灿烂.
文件压缩用7-Zip[J]
.数码先锋,2006,0(4):66-66.
7
周志成.
随意更改Windows Messenger的界面语言[J]
.大众软件,2002(23):83-83.
8
张尧学,肖淑男,史美林.
协议形式描述语言Estelle的交互生成方法[J]
.计算机研究与发展,1993,30(1):18-26.
9
国际市场,我有话说[J]
.大众软件,2005(22):56-56.
10
王继增,苗志锋,姜春艳,孙昊.
Estelle中的通道扩展及广播通道[J]
.计算机工程与设计,2006,27(4):578-580.
被引量:1
软件学报
1997年 第A00期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部