Medii avansate de dezvoltare a software-ului bazate pe metode formale

mat. Ileana Rabega

Institutul de Cercetări în Informatică

Rezumat: Lucrarea prezintă modul în care pot fi utilizate metodele formale în medii avansate de dezvoltare a software-ului; se indică o arhitectură cadru și se menţionează exemple de astfel de medii.

Vizualizează articolul complet

COORDONATELE PENTRU CITAREA ACESTUI ARTICOL SUNT URMĂTOARELE:
Ileana Rabega, Medii avansate de dezvoltare a software-ului bazate pe metode formale, Revista Română de Informatică şi Automatică (Romanian Journal of Information Technology and Automatic Control), ISSN 1220-1758, vol. 1(3-4), pp. 51-58, 1991.