Accession Number : ADA183631

Title :   Toward a Requirements Apprentice: On the Boundary between Informal and Formal Specifications,

Corporate Author : MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB

Personal Author(s) : Rich,Charles ; Waters,Richard C

PDF Url : ADA183631

Report Date : Jul 1986

Pagination or Media Count : 27

Abstract : Requirements acquisition is one of the most important and least well supported parts of the software development process. The Requirements Apprentice (RA) will assist a human analyst in the creation and modification of software requirements. Unlike current requirements analysis tools, which assume a formal description language, the focus of the RA is on the boundary between informal and formal specifications. The RA is intended to support the earliest phases of creating a requirement, in which incompleteness, ambiguity, and contradiction are inevitable features. From an artificial intelligence perspective, the central problem the RA faces is one of knowledge acquisition. It has to develop a coherent internal representation from an initial set of disorganized statements. To do so, the RA will rely on a variety of techniques, including dependency-directed reasoning, hybrid knowledge representation, and the reuse of common forms (cliche's). 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.

Descriptors :   *ARTIFICIAL INTELLIGENCE, PROGRAMMING LANGUAGES, ACQUISITION, COHERENCE, COMPUTER PROGRAMS, INTERNAL, MODIFICATION, PARTS, REQUIREMENTS

Subject Categories : Cybernetics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE