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