期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到2篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
一种表单驱动的逆向建模方法 被引量：1
1
作者 刘亚军 高建国 《小型微型计算机系统》 CSCD 北大核心 2002年第6期747-750,共4页
本文提出一种表单驱动的面向对象的逆向工程建模方法 .该方法由五个阶段组成 :表单使用分析、表单对象切片、对象结构建模、脚本设计以及模型集成 .
关键词 表单驱动 逆向建模方法 表单 面向对象 软件系统 软件开发
在线阅读 下载PDF
基于回答集语义复杂信息系统表单驱动需求规约的描述与验证
2
作者 万海 陈寅 +1 位作者 郑云翔 李磊 《小型微型计算机系统》 CSCD 北大核心 2011年第12期2345-2352,共8页
高品质的复杂信息系统软件设计与开发源自合理的、完整的和准确的软件需求.为了描述需求领域的非确定问题,并在需求获取不完全的情况下对需求规约进行非单调推理,本文将回答集逻辑程序和基于因果关系的动作理论应用于需求描述与验证.针... 高品质的复杂信息系统软件设计与开发源自合理的、完整的和准确的软件需求.为了描述需求领域的非确定问题,并在需求获取不完全的情况下对需求规约进行非单调推理,本文将回答集逻辑程序和基于因果关系的动作理论应用于需求描述与验证.针对复杂信息系统需求问题空间规模较大的特点,将动作描述语言C与动作查询语言Q结合形成动作语言Lo,作为需求描述的基础;通过分析需求领域各个元素及其相互关系,以表单驱动引导需求,并作为需求描述依据与核心,提出了描述需求问题空间静态关系和动态行为关系的"主谓宾状"需求模型MRspoa.利用回答集逻辑程序求解器SMODELS,可以对需求规约进行多层次规划与检测.本文的研究来自工程项目实践的总结与提高,研究成果得到具体应用. 展开更多
关键词 复杂信息系统 表单驱动 回答集语义 需求规约 需求描述与验证
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部