Romanian Journal of Information Technology and Automatic Control / Vol. 1, No. 3-4, 1991

Advanced software development environments based on formal methods

Ileana RABEGA

Abstract:

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.

Keywords:

View full article:

CITE THIS PAPER AS:
Ileana RABEGA, "Advanced software development environments based on formal methods", Romanian Journal of Information Technology and Automatic Control, ISSN 1220-1758, vol. 1(3-4), pp. 51-58, 1991.