Title :
KB/RMS: an intelligent assistant for requirement definition
Author :
Binder, Robert V. ; Tsai, Jeffrey J P
Author_Institution :
Robert Binder Syst. Consulting, Inc., Chicago, IL, USA
Abstract :
A conceptual framework and a system model for an intelligent assistant for requirement definition, KB/RMS, is presented. The requirement definition process is characterised by the requirements context model. Informal and formal methods for requirement definition are considered in light of this model, which serves as the logical schema for the KB/RMS database. Conventional and knowledge-based system support for requirement definition is summarized. The use of natural language processing, a semantic model of the problem and solution spaces, domain and technology models, and inference-driven augmentation, validation, and verification of the semantic model is discussed. Production of design representations from the augmented semantic model is covered
Keywords :
inference mechanisms; knowledge based systems; natural languages; software engineering; user interfaces; KB/RMS database; formal methods; inference-driven augmentation; intelligent assistant; knowledge-based system; logical schema; natural language processing; problem spaces; requirement definition; requirements context model; semantic model; solution spaces; validation; verification; Application software; Context modeling; Databases; Knowledge based systems; Natural language processing; Natural languages; Programming; Software engineering; Software systems; Space technology;
Conference_Titel :
Tools for Artificial Intelligence, 1990.,Proceedings of the 2nd International IEEE Conference on
Conference_Location :
Herndon, VA
Print_ISBN :
0-8186-2084-6
DOI :
10.1109/TAI.1990.130407
