Revista Română de Informatică și Automatică / Vol. 1, Nr. 3-4, 1991

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

Ileana RABEGA

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.

Cuvinte cheie:

Vizualizează articolul complet:

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ă, ISSN 1220-1758, vol. 1(3-4), pp. 51-58, 1991.