Title :
A knowledge-based analyzer for requirements specification analysis
Author_Institution :
Dept. of Comput. Sci., Nat. Chengchi Univ., Taipei, Taiwan
Abstract :
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
Keywords :
formal specification; knowledge based systems; software prototyping; specification languages; 80486-33 PC; Arity; Prolog; RT-FRORL; Turbo C; algorithms; anomaly detection matrix; formal requirements; knowledge-based analyzer; operational specification; rapid prototyping; requirements specification analysis; resolution refutation; specification language; transformational implementation; Application software; Computer science; Knowledge representation; Object oriented modeling; Production; Programming; Prototypes; Real time systems; Software prototyping; Specification languages;
Conference_Titel :
Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on
Conference_Location :
New Orleans, LA
Print_ISBN :
0-8186-6785-0
DOI :
10.1109/TAI.1994.346480
