Tanszéki konzulens: 

Ujhelyi Zoltán doktorandusz Szoba: IB414 Tel.: +36 1 463-3579 Email: ujhelyiz (*) mit * bme * hu

A modellvezérelt fejlesztés alapgondolata, hogy magas szintű modellekből automatikus átalakítási lépések felhasználásával jussunk el felhasználható forráskódig. Ehhez szükséges, hogy ezeket a modelleket, ill. az átakakítási lépéseket lehetőség szerint automatikus ellenőrizni lehessen, és a hibákat visszajelezni a fejlesztőnek.
A hallgató feladata, hogy megismerjedjen létező szoftverellenőrzési technikákkal és eszközökkel (pl. statikus analízis), és megvizsgálja az alkalmazhatóságát modellezési feladatok során.