Kategorija:Formalne metode

Iz Wikipedije, proste enciklopedije
Skoči na: navigacija, iskanje

Formalne metode so matematični pristop k razvoju programja in strojne opreme od zahtev, specifikacij in oblikovanja do programiranja in izvedbe. So pomembna teoretična osnova programskemu inženirstvu.

Strani v kategoriji »Formalne metode«

Ta del kategorije vsebuje 1 naslednjo stran.