首页   |   期刊介绍   |   编 委 会   |   投稿指南   |   学术活动   |   期刊订阅   |   检索与收录   |   联系我们   |   专栏投稿 
论文 最新目录| 下期目录| 过刊浏览| 高级检索 |
基于回答集语义复杂信息系统表单驱动需求规约的描述与验证
万海1,2, 陈寅3,郑云翔4,李磊2
1(中山大学 软件学院, 广州 510275),2(中山大学 信息科学与技术学院 软件研究所,广州 510275),3(华南师范大学 计算机学院, 广州 510275),4(华南师范大学 教育信息技术学院, 广州 510275)
Complex Information System form Driven Requirements Specification Description and Verification Based on Answer Set Semantics
WAN Hai1,2,CHEN Yin3,ZHENG Yun-xiang4,LI Lei2
1(School of Software, SUN YAT-SEN University,Guangzhou 510275,China),2(Software Research Institute of SUN YAT-SEN University,Guangzhou 510275,China),3(Computer School, South China Normal University, Guangzhou 510275,China),4(College of Educational Information Technology, South China Normal University, Guangzhou 510275,China)


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