Automatic programming for end users: the TOAD system
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 classifi...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on knowledge and data engineering Jg. 1; H. 3; S. 398 - 405 |
|---|---|
| Hauptverfasser: | , |
| Format: | Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
IEEE
01.09.1989
|
| Schlagworte: | |
| ISSN: | 1041-4347 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| 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.< > |
|---|---|
| AbstractList | 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 An automatic programming system must embody not only a methodology for program synthesis, but also a formalism whereby problems may be specified by the user. We have designed TQ as a language for specifying programming problems and have built a problem solver based on the methodology of classification problem solving. TOAD, our prototype system, demonstrates the feasibility and potential of our approach and its suitability for end users. 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.< > |
| Author | Wingate, V. Gomez, F. |
| Author_xml | – sequence: 1 givenname: F. surname: Gomez fullname: Gomez, F. organization: Dept. of Comput. Sci., Univ. of Central Florida, Orlando, FL, USA – sequence: 2 givenname: V. surname: Wingate fullname: Wingate, V. organization: Dept. of Comput. Sci., Univ. of Central Florida, Orlando, FL, USA |
| BookMark | eNqNkDtPwzAUhT0UiRaQWNkyIZYU38Txg60qT6lSlzJbxrkuQXkU2xn670kJYkBIMN3hfOfcozMjk7ZrkZBzoHMAqq65mkuhJJuQKVAGKcuZOCazEN4opVJImBK26GPXmFjZZOe7rTdNU7XbxHU-wbZM-oA-3CTxFZPNenGbhH2I2JySI2fqgGdf94Q8399tlo_pav3wtFysUpsVEFNUL3lmea4Yd3boY8FkmaXCClEKnjEobUlVUVhppCukK6HMGQrmHFgDJc9PyOWYO1R77zFE3VTBYl2bFrs-6EwJ4HlG_wbl4R3_R2JRMIBcDeDVCFrfheDR6Z2vGuP3Gqg-jKu50p_jDuj8B2qrOCzatdGbqv7NcDEaKkT8zh21D4xGhY0 |
| CODEN | ITKEEH |
| CitedBy_id | crossref_primary_10_1016_0019_0578_92_90034_G |
| Cites_doi | 10.1109/TSE.1985.231877 10.1109/TSE.1985.231880 10.1016/0004-3702(85)90016-5 10.1109/LFA.1988.24971 10.1109/TSE.1985.231881 10.1016/B978-0-934613-12-5.50006-9 10.1109/TSE.1985.231882 10.1016/B978-0-934613-12-5.50028-8 10.1109/MS.1986.232783 10.1016/B978-0-934613-12-5.50025-2 10.3115/981251.981259 10.1109/TSE.1978.233869 |
| ContentType | Journal Article |
| DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D 7TB FR3 |
| DOI | 10.1109/69.87984 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Mechanical & Transportation Engineering Abstracts Engineering Research Database |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional Mechanical & Transportation Engineering Abstracts Engineering Research Database |
| DatabaseTitleList | Computer and Information Systems Abstracts Computer and Information Systems Abstracts Technology Research Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Computer Science |
| EndPage | 405 |
| ExternalDocumentID | 10_1109_69_87984 87984 |
| GroupedDBID | -~X .DC 0R~ 1OL 29I 4.4 5GY 5VS 6IK 97E 9M8 AAJGR AARMG AASAJ AAWTH ABAZT ABFSI ABQJQ ABVLG ACGFO ACIWK AENEX AETIX AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 E.L EBS EJD F5P HZ~ H~9 ICLAB IEDLZ IFIPE IFJZH IPLJI JAVBF LAI M43 MS~ O9- OCL P2P PQQKQ RIA RIE RNI RNS RXW RZB TAE TAF TN5 UHB VH1 AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D 7TB FR3 |
| ID | FETCH-LOGICAL-c251t-e9b32c63946fc109c1a22c07c77d76241dcd0955c8a8f58fd1d34e74ff1ca1d63 |
| IEDL.DBID | RIE |
| ISSN | 1041-4347 |
| IngestDate | Sun Sep 28 16:25:04 EDT 2025 Sun Sep 28 01:49:02 EDT 2025 Sat Sep 27 17:21:00 EDT 2025 Tue Nov 18 21:51:48 EST 2025 Sat Nov 29 04:46:25 EST 2025 Wed Aug 27 02:52:17 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 3 |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c251t-e9b32c63946fc109c1a22c07c77d76241dcd0955c8a8f58fd1d34e74ff1ca1d63 |
| Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| PQID | 25541139 |
| PQPubID | 23500 |
| PageCount | 8 |
| ParticipantIDs | proquest_miscellaneous_28624166 crossref_primary_10_1109_69_87984 crossref_citationtrail_10_1109_69_87984 proquest_miscellaneous_25541139 ieee_primary_87984 proquest_miscellaneous_29716320 |
| PublicationCentury | 1900 |
| PublicationDate | 19890901 |
| PublicationDateYYYYMMDD | 1989-09-01 |
| PublicationDate_xml | – month: 09 year: 1989 text: 19890901 day: 01 |
| PublicationDecade | 1980 |
| PublicationTitle | IEEE transactions on knowledge and data engineering |
| PublicationTitleAbbrev | TKDE |
| PublicationYear | 1989 |
| Publisher | IEEE |
| Publisher_xml | – name: IEEE |
| References | ref13 martin (ref7) 1985 ref12 ref15 ref11 heidom (ref16) 1986 ref10 gomez (ref2) 1985 ref1 green (ref14) 1976 ref8 ref9 ref3 ref6 ref5 gomez (ref4) 1984 neches (ref17) 1985; se 11 |
| References_xml | – start-page: 242 year: 1985 ident: ref2 article-title: TQ: A specification language based on conceptualizations underlying natural language publication-title: Proc 1985 IEEE Workshop Languages for Automation – ident: ref10 doi: 10.1109/TSE.1985.231877 – ident: ref12 doi: 10.1109/TSE.1985.231880 – start-page: 203 year: 1986 ident: ref16 publication-title: Readings in Artificial Intelligence and Software Engineering – ident: ref5 doi: 10.1016/0004-3702(85)90016-5 – ident: ref3 doi: 10.1109/LFA.1988.24971 – ident: ref15 doi: 10.1109/TSE.1985.231881 – ident: ref9 doi: 10.1016/B978-0-934613-12-5.50006-9 – volume: se 11 start-page: 1337 year: 1985 ident: ref17 article-title: enhanced maintenance and explanation of expert systems through explicit models of their development publication-title: IEEE Transactions on Software Engineering doi: 10.1109/TSE.1985.231882 – ident: ref8 doi: 10.1016/B978-0-934613-12-5.50028-8 – ident: ref6 doi: 10.1109/MS.1986.232783 – year: 1985 ident: ref7 publication-title: Fourth Generation Languages Volume 1 Principles – ident: ref13 doi: 10.1016/B978-0-934613-12-5.50025-2 – ident: ref1 doi: 10.3115/981251.981259 – start-page: 320 year: 1984 ident: ref4 publication-title: Readings in Medical Artificial Intelligence The First Decade – start-page: 4 year: 1976 ident: ref14 article-title: The design of the PSI program synthesis system publication-title: Proc Int Conf Software Engineering – ident: ref11 doi: 10.1109/TSE.1978.233869 |
| SSID | ssj0008781 |
| Score | 1.36731 |
| Snippet | 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.... An automatic programming system must embody not only a methodology for program synthesis, but also a formalism whereby problems may be specified by the user.... |
| SourceID | proquest crossref ieee |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 398 |
| SubjectTerms | Automatic programming Database systems Graphical user interfaces Knowledge based systems Natural languages Problem-solving Prototypes Software engineering Software prototyping Specification languages |
| Title | Automatic programming for end users: the TOAD system |
| URI | https://ieeexplore.ieee.org/document/87984 https://www.proquest.com/docview/25541139 https://www.proquest.com/docview/28624166 https://www.proquest.com/docview/29716320 |
| Volume | 1 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVIEE databaseName: IEEE Xplore issn: 1041-4347 databaseCode: RIE dateStart: 19890101 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://ieeexplore.ieee.org/ omitProxy: false ssIdentifier: ssj0008781 providerName: IEEE |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1bS8MwFA46fNAH56bivEYQfKpr0jQX34Y6fJo-TNhbSU9SELSTXfz9Jmk3FcfAt5Ke0ubSk-8kJ9-H0FUqWKFSqiNTaB6xVPLI4WYSAaGWgoxzmssgNiEGAzkaqeeaJiechbHWhuQze-Mvw16-GcPcL5V1pVCSbaJNIXh1Umvpc6UIcqQutnARUcJETTNLYtXlbjD4535NPEFJ5Y_7DXNKv_mfr9lDuzVyxL2qq1tow5Zt1FyoMuD6J22jnR8Ug_uI9eazcaBlxXUq1rsrxw6qYlsa7NcoprfYoUA8fOrd44rY-QC99B-Gd49RrZQQgcMns8iqPKHgwAbjBbhKA9GUQixACOO8HSMGjOeaA6llkcrCEJMw67qpIKCJ4ckhapTj0h4hDEBSYEKnaVowC0ZR7SCgNlzlFIqYdND1ohkzqGnEvZrFWxbCiVhlXGWhaTrocmn5UVFnrLBp-YZd3q8LLxb9krnB7ncwdGnH82nm4h9GHGZdY-EPvBDO11h40qyExserXn2Ctr-TyE5RYzaZ2zO0BZ-z1-nkPIy5L3Vo1fI |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1dT9swFL1iMGnjYYVuE2VAPWnSnjJix5-8VUBVRNfx0El9i9xrR0La0om2_H5sN-2GQEh7i5wbJf7I9bn29TkAX4TilRHMZq6yMuNCyyzgZpohZZ6hzqdsqpPYhBqN9GRibhqanHQWxnufks_8t3iZ9vLdDJdxqexUK6P5K9gRnLN8dVZr43W1SoKkIboIMVHBVUM0S3NzKsNwiE8-mnqSlsoTB5xmlX7rf75nD9412JH0Vp29D1u-bkNrrctAmt-0Dbv_kAy-B95bLmaJmJU0yVi_QzkJYJX42pG4SjE_IwEHkvGP3gVZUTt_gJ_9y_H5IGu0EjIMCGWReTMtGAa4wWWFodJILWOYK1TKBX_HqUMX2eZQW10JXTnqCu5DR1UULXWy-Ajb9az2B0AQqUCurBCi4h6dYTaAQOukmTKsctqBr-tmLLEhEo96Fr_KFFDkppSmTE3Tgc8byz8r8oxnbPZjw27uN4Xddb-UYbjHPQxb-9lyXoYIiNOAWl-wiEdeqJQvWETarILlh8-9ugtvBuPvw3J4Nbr-BG__ppQdwfbibumP4TXeL27ndydp_D0AuTfZOQ |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Automatic+programming+for+end+users%3A+the+TOAD+system&rft.jtitle=IEEE+transactions+on+knowledge+and+data+engineering&rft.au=Gomez%2C+F.&rft.au=Wingate%2C+V.&rft.date=1989-09-01&rft.pub=IEEE&rft.issn=1041-4347&rft.volume=1&rft.issue=3&rft.spage=398&rft.epage=405&rft_id=info:doi/10.1109%2F69.87984&rft.externalDocID=87984 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1041-4347&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1041-4347&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1041-4347&client=summon |