Prerequisites for Deriving Formal Specifications from Natural Language Requirements.

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Apr 01, 1983
Accession Number
ADA131722

Entities

People

  • Ralph M. Weischedel

Organizations

  • University of Delaware

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force
  • Artificial Intelligence
  • Computer Programming
  • Computer Programs
  • Computers
  • Contracts
  • Governments
  • Information Science
  • Language
  • Natural Language Processing
  • Natural Languages
  • Scientific Research
  • Software Design
  • Software Development
  • Specifications
  • United States
  • United States Government

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Software Engineering.
  • Technical Research and Report Writing.

Technology Areas

  • AI & ML
  • AI & ML - Machine Translation