Automatic Programming [Romanian]

Original at: http://www.cs.utexas.edu/users/novak/autop.html

Automate de programare


cone sunmass fualist

Programare automatică este definită ca sinteza a unui program din specificații.În cazul în care programarea automată este utilă, specificarea trebuie să fie mai mică şi mai uşor scrisă decât programul dacă aceste ar fi scris într-un limbaj de programare convenţional.

Abordarea noastră la programare automata se bazează pe reutilizarea de algoritmi generici prin vizualizări.Un algoritm generic îndeplineşte anumite sarcini, cum ar fi sortarea listelor legate de înregistrări, bazate pe descrierile abstracte ale datelor pe care programul funcţionează.Vizualizarea descrie modul în care adăugări actuale corespund datelor abstracte utilizate în algoritmul generic.Având o vizualizare, un algoritm generic poate fi specializat printr-un proces de compilare pentru a produce o versiune a algoritmului care efectuează algoritmul direct pe datele aplicaţiei.

Interfeţe grafice (Graphical user interfaces) fac mai uşor pentru utilizator crearea vizualizări de date.Având o vizualizare, orice dintre algoritm din bibliotecă definit pentru această vizualizare poate fi specializată pentru a lucra cu datele aplicaţiei. Programe specializate pot fi produse în mai multe limbi (Lisp, C, C + +, Java sau Pascal), dintr-o singură copie a algoritmilor generice.

Un sistem legat permite programului să fie specificat grafic prin conectarea diagramelor care reprezintă date, legi fizice, şi modele matematice.

Demonstratii on-line a acestor programe sunt pisponibile mai jos.

Vizualizari

Publicaţii

CS 394P: Programare automată

Software demo versiuni:

Notă: X versiunile de demo-uri (din partea stângă) pot fi mai sigure; aceste au nevoie de un server X (de exemplu, Cygwin ce lucreză sub Windows).Versiunile WeirdX (din partea dreapta) pot fi utilizate cu orice browser web.

Programare automata de Server: a crea programe în Lisp, C, C + +, Java, sau Pascal. [WeirdX versiune]
VIP Demo: scrieți programe şi faceți operații prin conectarea de diagrame.[WeirdX versiune]• Programare grafică Server: a crea programe în Lisp, C, C + +, Java, sau Pascal.[WeirdX versiune]
Unitatea de conversie Demo: conversia unităţilor de măsură.[X versiunea]

Gordon S. Novak Jr.

ok ok