OBJECT-ORIENTED SPECIFICATION IN SOFTWARE DEVELOPMENT

Abstract

Specificarea obiect-orientată în dezvoltarea software. Specificarea formală joacă un rol important în dezvoltarea de sisteme informatice largi şi complexe. Pe de altă parte, programarea orientată obiect s-a dovedit în ultimii ani ca fiind un instrument cu beneficii clare în dezvoltarea de produse informatice. Scopul acestui studiu este de a propune o metodă de specificaţie orientată obiect bazată pe descompunerea, abstractizarea şi încapsularea sistemului, oferind şi posibilitatea reutilizării.