THE REQUIREMENTS APPRENTICE - AUTOMATED ASSISTANCE FOR REQUIREMENTS ACQUISITION

被引:82
作者
REUBENSTEIN, HB [1 ]
WATERS, RC [1 ]
机构
[1] MIT,ARTIFICIAL INTELLIGENCE LAB,CAMBRIDGE,MA 02139
关键词
INFORMALITY RESOLUTION; KNOWLEDGE ACQUISITION; REQUIREMENTS ANALYSIS; REUSE;
D O I
10.1109/32.75413
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Requirements acquisition is one of the most important and least supported parts of the software development process. The Requirements Apprentice (RA) assists a human analyst in the creation and modification of software requirements. Unlike most other requirements analysis tools, which start from a formal description language, the focus of the RA is on the transition between informal and formal specifications. The RA supports the earliest phases of creating a requirement, in which ambiguity, contradiction, and incompleteness are inevitable. From an artificial intelligence perspective, the central problem the RA faces is one of knowledge acquisition. The RA develops a coherent internal representation of a requirement from an initial set of disorganized imprecise statements. To do so, the RA relies on a variety of techniques, including dependency-directed reasoning, hybrid knowledge representation, and the reuse of common forms (cliches). The Requirements Apprentice is being developed in the context of the Programmer's Apprentice project, whose overall goal is the creation of an intelligent assistant for all aspects of software development.
引用
收藏
页码:226 / 240
页数:15
相关论文
共 49 条
[1]  
Arango G., 1985, Third International Workshop on Software Specification and Design (Cat. No.85CH2138-6), P63
[2]  
BABB RG, 1985, COMPUTER, V18, P103
[3]   INFORMALITY IN PROGRAM SPECIFICATIONS [J].
BALZER, R ;
GOLDMAN, N ;
WILE, D .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1978, 4 (02) :94-103
[4]   DOMAIN-SPECIFIC AUTOMATIC PROGRAMMING [J].
BARSTOW, DR .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (11) :1321-1336
[5]  
Bennett J. S., 1985, Journal of Automated Reasoning, V1, P49, DOI 10.1007/BF00244289
[6]   VERIFYING AND VALIDATING SOFTWARE REQUIREMENTS AND DESIGN SPECIFICATIONS [J].
BOEHM, BW .
IEEE SOFTWARE, 1984, 1 (01) :75-88
[7]  
BORGIDA A, 1985, COMPUTER, V18, P82, DOI 10.1109/MC.1985.1662870
[8]  
CRAWFORD A, 1982, GUIDE INT P
[9]   KBRA - A NEW PARADIGM FOR REQUIREMENTS ENGINEERING [J].
CZUCHRY, AJ ;
HARRIS, DR .
IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1988, 3 (04) :21-&
[10]   INTERACTIVE TRANSFER OF EXPERTISE - ACQUISITION OF NEW INFERENCE RULES [J].
DAVIS, R .
ARTIFICIAL INTELLIGENCE, 1979, 12 (02) :121-157