Accession Number:

ADA127793

Title:

Theoretical Foundations of Software Technology.

Descriptive Note:

Final scientific rept. 1 Jul 79-30 Sep 82,

Corporate Author:

OHIO STATE UNIV COLUMBUS DEPT OF COMPUTER AND INFORMATION SCIENCE

Report Date:

1983-02-14

Pagination or Media Count:

133.0

Abstract:

This is the final scientific report of research performed under the contract in various aspects of software technology. The research efforts can be categorized under three topics computer program testing, knowledge-based systems for program construction, and theory of translator generation. In the first category researchers describe a number of research results relating to various aspects of domain testing strategy and integration testing of modules. In the second category, researchers decribe a program called LLULL, which understands programming problems stated in natural language in the domain of checking accounts, and produces PASCAL programs for them. In addition, researchers describe several projects in knowledge organization and problem solving. In the last category, researchers describe a research effort that focussed on obtaining theoretical results on the complexity of translator generation from one language to another.

Subject Categories:

  • Computer Programming and Software
  • Test Facilities, Equipment and Methods

Distribution Statement:

APPROVED FOR PUBLIC RELEASE