论文部分内容阅读
对于软件系统的需求工程，需求演化至关重要。目前，对此问题已有不少基于逻辑的解决方法。但我们认为，它们并没有提供足够丰富的元逻辑，来全面地刻画这个问题的各个方面。本文基于开放逻辑和Brewka缺省理论，提出了Z规约演化的一种可操作的方法，使之能刻画该问题的各个方面。并通过一个案例研究，证明其有效性。