Issue No. 03 - September (1989 vol. 1)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.87984
<p>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.</p>
automatic programming; end users; TOAD system; program synthesis; formalism; TQ; language; classification problem solving; informal specification language; fourth generation languages; automatic programming; knowledge based systems; software engineering; specification languages
F. Gomez and V. Wingate, "Automatic Programming for End Users: The TOAD System," in IEEE Transactions on Knowledge & Data Engineering, vol. 1, no. , pp. 398-405, 1989.