SDLTRAN，一个形式描述语言SDL的交互式生成器
SDLTRAN: An Interactive Generator for Formal Specification Language SDL
-
摘要: 本文报告一种能将ＦＳＭ自动转换为ＳＤＬ描述的ＳＤＬ描述生成器──ＳＤＬＴＲＡＮ。除了自动变换部分之外，ＳＤＬＴＲＡＮ还包含一个具有友好用户接口的图形编辑器。Abstract: This paper reports an interactive generator for SDLnamed SDL-TRAN,which Can automatically translate FSM into SDL specification.Besides the automatic part,SDLTRAN includes a graphical editor.
下载: