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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1986
Accession Number
ADA183631

Entities

People

  • Charles Rich
  • Richard C. Waters

Organizations

  • Massachusetts Institute of Technology

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Acquisition
  • Artificial Intelligence
  • Artificial Intelligence Computing
  • Boundaries
  • Computer Programming
  • Computer Programs
  • Computers
  • Construction
  • Databases
  • Debugging
  • Engineering
  • Information Systems
  • Language
  • Natural Languages
  • Software Development
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Database Systems and Applications
  • Molecular Biology and Genetics

Technology Areas

  • AI & ML