Oktatási cél: A tárgy keretében a hallgatók elsajátítják a rendszerek formális leírásának, modellezésének és fejlesztésének lehetőségeit. Megismerkednek a komplex szoftver rendszerek modell alapú fejlesztésével, a szoftvertechnológia haladó elveivel, paradigmáival és azok alkalmazási lehetőségeivel. Ismereteket szereznek a minőségszemléletű szoftverfejlesztési folyamatról, a szoftver teszteléstől, a verifikációról és validációról, valamint a modern agilis szoftverfejlesztési módszerek gyakorlatban történő hatékony alkalmazásáról.
Tematika: Informatikai- és szoftver- rendszerek leírási formalizmusai, komplex informatikai rendszerek modellezése, tervezése és fejlesztése, formális módszereken alapuló tervezés, dekompozíciós és integrációs stratégiák. Az információtechnológiai alapú fejlesztő eszközök alkalmazása a fejlesztés folyamatában. Szoftverrendszerek modell alapú fejlesztési módszerei, az UML modellező nyelv további lehetőségei és kiterjesztései más területekre. A Reverse és Round-trip engineering, a szoftverfejlesztés minőség-elvű megközelítése, a minőség-, az adatbiztonság, és a biztonságos kód kérdése. Szoftverrendszerek verifikációja, validálása, a tesztelés kérdései. A szoftverfejlesztés folyamatmodelljei, az agilis megközelítés alkalmazása a gyakorlatban.