Accession Number : ADA131722

Title :   Prerequisites for Deriving Formal Specifications from Natural Language Requirements.

Descriptive Note : Final rept. 1 Sep 81-28 Feb 83,

Corporate Author : DELAWARE UNIV NEWARK DEPT OF COMPUTER AND INFORMATION SCIENCES

Personal Author(s) : Weischedel,Ralph M

PDF Url : ADA131722

Report Date : Apr 1983

Pagination or Media Count : 13

Abstract : Since English specifications and formal specifications of modules are complementary and since formal specifications require so much effort to write, our work has investigated application of artificial intelligence techniques to aid in the software specification process. The effort for this year concentrated on constructing a small prototype of a system that transforms English descriptions to formal specifications under significant user assistance.

Descriptors :   *Computer programming, *Natural language, *Artificial intelligence, Computer programs, Specifications, Requirements, User needs, Prototypes, Modular construction, Parsers, Dictionaries, Syntax, Semantics, Heuristic methods, Computational linguistics, Machine translation

Subject Categories : Linguistics
      Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE