A knowledge-based analyzer for requirements specification analysis

Author

Jang, Hung-Chin

Author_Institution

Dept. of Comput. Sci., Nat. Chengchi Univ., Taipei, Taiwan

fYear

1994

fDate

6-9 Nov 1994

Firstpage

276

Lastpage

282

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Tools with Artificial Intelligence, 1994. Proceedings., Sixth International Conference on

Conference_Location

New Orleans, LA

Print_ISBN

0-8186-6785-0

Type

conf

DOI

10.1109/TAI.1994.346480

Filename

346480