您的位置： 专家智库 > >

丁晋

作品数：3 被引量：6H指数：1
供职机构：南京大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇期刊文章
  • 1篇学位论文

领域

  • 3篇自动化与计算...

主题

  • 3篇ESTELL...
  • 2篇形式化
  • 2篇通信
  • 2篇通信协议
  • 2篇自动生成
  • 2篇面向对象
  • 1篇形式化描述
  • 1篇自动生成工具
  • 1篇文件传输协议
  • 1篇界面语言
  • 1篇TFTP
  • 1篇TIL
  • 1篇EIT
  • 1篇传输协议

机构

  • 3篇南京大学

作者

  • 3篇丁晋
  • 2篇杨培根

传媒

  • 1篇计算机研究与...
  • 1篇软件学报

年份

  • 3篇1997
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
基于ESTELLE的通信协议形式化开发技术的研究
丁晋
关键词：ESTELLE面向对象自动生成
基于ESTELLE的人具界面语言TIL
1997年
随着形式描述技术ＦＤＴ的日趋成熟，有必要开发一种真正意义上的集成化协议开发工具集，本文引入面向对象模型，提出了一种基ＥＳＴＥＬＬＥ的工具界面语言ＴＩＬ，使得在工具集中，各工具的内数数据表示式相同，并且输入／输出兼容，从而提高了软件的并行性可移性。
丁晋杨培根
关键词：ESTELLE面向对象通信协议
小型文件传输协议TFTP的形式化描述和自动生成工具EIT被引量：6
1997年
文中给出了小型文件传输协议ＴＦＴＰ的ＥＳＴＥＬＬＥ语言的形式化描述及自动生成工具ＥＩＴ，并对ＥＳＴＥＬＬＥ语言进行了扩展．引入限定注释机制，使描述功能增强，协议描述与实现环境更加独立，提高了协议软件的可移植性．
丁晋杨培根
关键词：形式化描述ESTELLE自动生成
全选 清除 导出
共1页<1>
聚类工具0