Modellek ellenőrzése
Semester:
2016. tavasz
Modellek ellenőrzésének alapfogalmai, statikus ellenőrzés, tesztelés, formális verifikáció. Holtpont, ellenpéldák, fedettségi metrikák.
Jegyzet: Modellek ellenőrzése (A5) (Fejlesztés alatt. Előzetes változat, a gyakorlatokra felkészüléshez.)
Download:
