The Generic Development Language Deva

Deva: O Limbaj Funcțional pentru Dezvoltarea Formală reprezintă o sinteză a cercetărilor realizate de autori în cadrul proiectului Esprit Tool Use (1985-1990), desfășurat la GMD în Karlsruhe și la Universitatea Tehnică din Berlin. Această monografie oferă o descriere cuprinzătoare a limbajului de dezvoltare generic Deva, conceput pentru a răspunde nevoilor specifice ale domeniului aplicațiilor formale. Inspirată de contribuțiile lui Michel Sintzoff în dezvoltarea programelor formale, lucrarea include un cuvânt înainte iluminator, care subliniază relevanța și inovația acestui limbaj.

Deva este un limbaj funcțional tipizat, caracterizat prin reguli de deducție specifice, având ca scop exprimarea de propoziții precum specificații sau programe, depășind astfel limitele clasice ale limbajelor de programare. Eficiența sa practică a fost testată prin intermediul unor studii de caz non-triviale, demonstrând aplicabilitatea sa în scenarii complexe. Întreaga lucrare este redactată utilizând sistemul DVWEB, o platformă WEB dedicată limbajului Deva, implementată la Universitatea Tehnică din Berlin.