节点文献
包含缺省的Z规约演化：一种可操作的方法
【机构】 中国科学院成都计算机应用研究所；
【摘要】 对于软件系统的需求工程,需求演化至关重要。目前,对此问题已有不少基于逻辑的解决方法。但我们认为,它们并没有提供足够丰富的元逻辑,来全面地刻画这个问题的各个方面。本文基于开放逻辑和 Brewka 缺省理论,提出了 Z 规约演化的一种可操作的方法,使之能刻画该问题的各个方面。并通过一个案例研究,证明其有效性。
【基金】 国家重点基础研究发展规划(973)项目
- 【会议录名称】 2008’中国信息技术与应用学术论坛论文集（一）
- 【会议名称】2008’中国信息技术与应用学术论坛
- 【会议时间】2008-04
- 【会议地点】中国四川成都
- 【分类号】TP311.5
- 【主办单位】西南财经大学信息技术应用研究所、《计算机科学》杂志社