| 包含缺省的Z规约演化:一种可操作的方法 | |
| 林连南 ; 吴尽昭 | |
| 2015-03-16 ; 2015-03-16 | |
| 会议名称 | 2008年中国信息技术与应用学术论坛/2008年4月1日/中国四川成都 |
| 关键词 | 需求工程 信念修正 缺省推理 开放逻辑 Z规约语言 |
| 中文摘要 | 对于软件系统的需求工程,需求演化至关重要。目前,对此问题已有不少基于逻辑的解决方法。但我们认为,它们并没有提供足够丰富的元逻辑,来全面地刻画这个问题的各个方面。本文基于开放逻辑和 Brewka 缺省理论,提出了 Z 规约演化的一种可操作的方法,使之能刻画该问题的各个方面。并通过一个案例研究,证明其有效性。; 国家重点基础研究发展规划(973)项目 |
| 会议录出版者 | 2008’中国信息技术与应用学术论坛论文集（一） |
| 语种 | 中文 |
| 内容类型 | 会议论文 |
| 源URL | [http://ir.calis.edu.cn/hdl/530500/4592]  |
| 专题 | 广西民族大学 |
| 推荐引用方式 GB/T 7714 | 林连南,吴尽昭. 包含缺省的Z规约演化:一种可操作的方法[C]. 见:2008年中国信息技术与应用学术论坛/2008年4月1日/中国四川成都. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论