期刊文献+

SDL_TRAN,一个形式描述语言SDL的交互式生成器

SDL_TRAN: An Interactive Generator for Formal Specification Language SDL
下载PDF
导出
摘要 本文报告一种能将FSM自动转换为SDL描述的SDL描述生成器──SDL_TRAN。除了自动变换部分之外,SDL_TRAN还包含一个具有友好用户接口的图形编辑器。 This paper reports an interactive generator for SDL_named SDL-TRAN,which Can automatically translate FSM into SDL specification.Besides the automatic part,SDL_TRAN includes a graphical editor.
出处 《计算机研究与发展》 EI CSCD 北大核心 1994年第11期44-49,共6页 Journal of Computer Research and Development
关键词 形式描述语言 交互式生成器 SDL语言 computer networks,communicating systems,formal specifications,FSM,SDL.
  • 相关文献

参考文献2

二级参考文献3

  • 1张光学,1989年
  • 2张光学,IEEE JASC,1988年,6卷,5期,874页
  • 3张光学,IEEE Trans Soft Eng,1988年,14卷,3期,394页

共引文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部