Revista Română de Informatică și Automatică – ICI București
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.