Title

Toad: Toward The Automation Of Business Software.

Abstract

The authors identify two problems that must be solved in constructing an automatic programming system. Such a system must incorporate both a formalism for expressing what is wanted from the problem-solver and an appropriate methodology for synthesizing how the problem is to be solved. To solve the what-problem of automatic programming, they have designed a specification language called TQ; to solve the how-problem, they have designed and built a system based on the methodology of classification problem solving. The system consists of a parser for TQ, an English generator, and a problem-solver, which is further subdivided into a planner module and a code generator. The planner produces an algorithm directly from the specifications; the code generator translates this algorithm into dBASE III, a microcomputer database language. The authors show how TQ can be used to write informal specifications for a problem and how the planner module of the problem solver constructs an algorithm from these specifications.

Publication Date

12-1-1987

Number of Pages

219-222

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

Socpus ID

0023564324 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/0023564324

This document is currently not available here.

Share

COinS