This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Automatic Programming for End Users: The TOAD System
September 1989 (vol. 1 no. 3)
pp. 398-405

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.

[1] F. Gomez, "Towards a theory of comprehension of declarative contexts," inProc. 20th Meeting Assoc. Computational Linguistics, June 1982, pp. 36-43.
[2] F. Gomez, "TQ: A specification language based on conceptualizations underlying natural language," inProc. 1985 IEEE Workshop Languages for Automation, June 1985, pp. 242-247.
[3] V. Wingate and F. Gomez, "Simplifying the writing of specifications: A language and its interface," inProc. 1985 IEEE Workshop Languages for Automation, June 1985, pp. 184-189.
[4] F. Gomez and B. Chandrasekaran, "Knowledge organization and distribution for medical diagnosis," inReadings in Medical Artificial Intelligence: The First Decade, W. J. Clancey and E. H. Shortliffe, Eds. Reading, MA: Addison-Wesley, 1984, pp. 320-338.
[5] W. Clancey, "Heuristic Classification,"Artificial Intelligence, Vol. 27, 1985, pp. 289-350.
[6] T. F. Thompson and W. J. Clancey, "A qualitative modeling shell for process diagnosis,"IEEE Software, vol. 3, pp. 6-15, Mar. 1986.
[7] J. Martin,Fourth-Generation Languages, Vol. 1, Prentice-Hall, Englewood Cliffs, N.J., 1985, pp. 1-20.
[8] P. Summers, "A methodology for LISP program construction from examples," inReadings in Artificial Intelligence and Software Engineering, C. Rich and R. C. Waters, Ed. Los Altos, CA: Morgan Kaufmann, 1986, pp. 309-316.
[9] Z. Manna and R. Waldinger, "A deductive approach to program synthesis," inReadings in Artificial Intelligence and Software Engineering, C. Rich and R. C. Waters, Ed. Los Altos, CA: Morgan Kaufmann, 1986, pp. 3-34.
[10] R. Balzer, "A 15 year perspective on automatic programming,"IEEE Trans. Software Eng., vol. SE-11, no. 11, pp. 1257-1268, Nov. 1985.
[11] C. Rich and H. E. Shrobe, "InitiaI report on a Lisp programmer's apprentice,"IEEE Trans. Software Eng., vol. SE-4, pp. 456-467, Nov. 1978.
[12] R. C. Waters, "The programmers' apprentice: A session with KBEmacs,"IEEE Trans Software Eng., vol. SE-11, no. 11, pp. 1296-1320, Nov. 1985.
[13] C. Green and S. Westfold, "Knowledge-based programming self applied," inReadings in Artificial Intelligence and Software Engineering, C. Rich and R. C. Waters, Ed. Los Altos, CA: Morgan Kaufmann, 1986, pp. 259-284.
[14] C. C. Green, "The design of the PSI program synthesis system," inProc. 2nd Int. Conf. Software Engineering, Oct. 1976, pp. 4-18.
[15] D. R. Barstow, "Domain-specific automatic programming,"IEEE Trans. Software Eng., vol. 11, no. 11, pp. 1321-1336, Nov. 1985.
[16] G. Heidorn, "Automatic programming through natural language dialogue: A survey," inReadings in Artificial Intelligence and Software Engineering, C. Rich and R. C. Waters, Eds. Los Altos, CA: Morgan Kaufmann, 1986, pp. 203-214.
[17] R. Neches, W. R. Swartout, and J. D. Moore, "Enhanced maintenance and explanation of expert systems through explicit models of their development,"IEEE Trans. Software Eng., vol. SE-11, pp. 1337-1351, Nov. 1985.

Index Terms:
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
Citation:
F. Gomez, V. Wingate, "Automatic Programming for End Users: The TOAD System," IEEE Transactions on Knowledge and Data Engineering, vol. 1, no. 3, pp. 398-405, Sept. 1989, doi:10.1109/69.87984
Usage of this product signifies your acceptance of the Terms of Use.