A knowledge-based analyzer for requirements specification analysis
暂无分享,去创建一个
In this paper, we propose a knowledge-based analyzer of a formal requirements specification language RT-FRORL for requirements specification analysis. The RT-FRORL analyzer is based on an underlying verification framework and associated verification methodologies. The framework originates from an integration of rapid prototyping, operational specification, and transformational implementation. The verification methodologies consist of a combination of resolution refutation, anomaly detection matrix, and algorithms methods. A RT-FRORL system analyzer was implemented using Arity/Prolog and Turbo C languages on 80486-33 PC.<<ETX>>
[1] Tin A. Nguyen,et al. Knowledge base verification , 1987 .
[2] Hung-Chin Jang,et al. A framework for knowledge-based systems verification , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.
[3] Hung-Chin Jang,et al. A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis , 1992, IEEE Trans. Software Eng..
[4] James C. Tiernan,et al. An efficient search algorithm to find the elementary circuits of a graph , 1970, CACM.