|
|||||
|
|
| SRLtoRadl生成系统及其范畴论语义简 | |
| 引用本文： | 王昌晶,薛锦云,左正康.SRLtoRadl生成系统及其范畴论语义简[J].电子学报,2014,42(1):137-143. |
| 作者姓名： | 王昌晶 薛锦云 左正康 |
| 摘 要： | |
| 收稿时间： | 2011-05-16 |
SRLtoRadl Generation System and Its Category Semantics |
|
| WANG Chang-jing,XUE Jin-yun,ZUO Zheng-kang.SRLtoRadl Generation System and Its Category Semantics[J].Acta Electronica Sinica,2014,42(1):137-143. | |
| Authors: | WANG Chang-jing XUE Jin-yun ZUO Zheng-kang |
| Abstract: | |
| Keywords: | structural requirement language formal software specification automatic generation system high reliability category semantics |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《电子学报》浏览原始摘要信息 | |
| 点击此处可从《电子学报》下载全文 | |
