首页   |   期刊介绍   |   编 委 会   |   投稿指南   |   期刊订阅   |   检索与收录   |   联系我们   |   专栏投稿  |  旧版网站入口
小型微型计算机系统  2021, Vol. 42 Issue (8): 1639-1648    DOI:
最新目录| 下期目录| 过刊浏览| 高级检索 |
一种面向领域自然语言需求的形式化需求模型生成方法研究
胡建成1,2,胡军1,2,汪文轩1,2,康介祥3,王辉3,高忠杰3
1(南京航空航天大学 计算机科学与技术学院,南京 211106)2(软件新技术与产业化协同创新中心,南京 210007)3(中国航空无线电电子研究所 软件部,上海 200233)
Constructing Formal Specification Models from Domain Specific Natural Language Requirements
HU Jian-cheng1,2,HU Jun1,2,WANG Wen-xuan1,2,KANG Jie-xiang3,WANG Hui3,GAO Zhong-jie3
1(Nanjing University of Aeronautics and Astronautics,Nanjing 211106,China)2(Collaborative Innovation Center of Novel Software Technology and Industry,Nanjing 210007,China)3(China National Aeronautic Radio Electronics Research Institute,Shanghai 200233,China)


版权所有 © 《小型微型计算机系统》编辑部
主办单位:中国科学院沈阳计算技术研究所 主编:郭锐锋
国内邮发代号:8-108 国外发行代号:M349 通信地址:沈阳市浑南区南屏东路16号 邮编:110168
联系电话:(024)24696120 E-mail: xwjxt@sict.ac.cn
本系统由北京玛格泰克科技发展有限公司设计开发  技术支持:support@magtech.com.cn