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...

Celý popis

Uloženo v:
Podrobná bibliografie
Vydáno v:IEEE transactions on knowledge and data engineering Ročník 1; číslo 3; s. 398 - 405
Hlavní autoři: Gomez, F., Wingate, V.
Médium: Journal Article
Jazyk:angličtina
Vydáno: IEEE 01.09.1989
Témata:
Automatic programming
Database systems
Graphical user interfaces
Knowledge based systems
Natural languages
Problem-solving
Prototypes
Software engineering
Software prototyping
Specification languages
ISSN:1041-4347
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Popis
Shrnutí: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.< >
Bibliografie:ObjectType-Article-2
SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 23
ISSN:1041-4347
DOI:10.1109/69.87984