A knowledge-based system approach to the development of a system functional requirement specification processor

The authors have designed a system functional requirement (SFR) specification processor using a knowledge-based system approach in conjunction with other artificial intelligence techniques, this processor can be used for a variety of software systems. Domain-specific expert knowledge is defined for each software system application. The adopted specification language can easily be read by a variety of people such as customers, managers, requirement writers, software designers, and the test team. The processor, for a given software system application, not only checks for consistency, completeness, nonredundancy, and nonambiguity, but also uses domain-specific expert knowledge to verify that the SFR specification document is correct from the domain expert´s point of view. To illustrate the proposed approach, the authors give an example of a component of a telephone switching system and the processor system methodology.<>