Automatic programming for end users: the TOAD system

Author

Gomez, Fernando ; Wingate, Viva

Author_Institution

Dept. of Comput. Sci., Univ. of Central Florida, Orlando, FL, USA

Volume

1

Issue

3

fYear

1989

fDate

9/1/1989 12:00:00 AM

Firstpage

398

Lastpage

405

Abstract

An automatic programming system must embody not only a methodology for program synthesis, but also a formalism whereby problems can be specified by the user. The authors have designed TQ as a language for specifying programming problems and built a problem solver based on the methodology of classification problem solving. TQ is an informal specification language that allows a problem description to be written in nonprocedural terms by users who have no knowledge of programming. TOAD, the prototype system, demonstrates the feasibility and potential of the proposed approach and its suitability for end users. The authors compare their approach to those of other researchers in automatic programming and to the fourth generation languages

Keywords

automatic programming; knowledge based systems; software engineering; specification languages; TOAD system; TQ; automatic programming; classification problem solving; end users; formalism; fourth generation languages; informal specification language; language; program synthesis; Automatic programming; Database systems; Graphical user interfaces; Knowledge based systems; Natural languages; Problem-solving; Prototypes; Software engineering; Software prototyping; Specification languages;

fLanguage

English

Journal_Title

Knowledge and Data Engineering, IEEE Transactions on

Publisher

ieee

ISSN

1041-4347

Type

jour

DOI

10.1109/69.87984

Filename

87984