Diplomaterv (MSc)

Semester Név Cím Konzulensek Kiírás Beszámoló
2018. tavasz Graics Bence Állapotgépek vegyes szemantika szerinti kompozíciója reaktív rendszerek modellvezérelt tervezéséhez Vince Molnár Beszámoló
2017. ősz Élő Dániel Felhő-alapú infrastruktúra rekonfigurációjának verifikációs technikái András Vörös Beszámoló
2016. tavasz Borlay Dániel Mikroszolgáltatásokra épülő architektúra fejlesztésének és tesztelésének támogatása Zoltán Szatmári
2016. tavasz Dinh Hoangthanh Attila Qualitative modelling and analysis of IT infrastructures András Pataricza
2016. tavasz Farkas Rebeka Krisztina Időzített rendszerek CEGAR alapú analízise Beszámoló
2016. tavasz Stein Dániel JavaScript forráskódtárak gráfalapú statikus analízise Gábor Szárnyas JavaScript forráskódtárak gráfalapú statikus analízise Beszámoló
Fall 2015 Borbás Tamás Futtatható UML modellek megvalósítása elosztott környezetben Ákos Horváth
Fall 2015 Gerencsér György Példavezérelt fejlesztőkörnyezet modellek feletti lekérdezésekhez Gábor Bergmann Modellek feletti lekérdezések példa alapján
Fall 2015 Gerencsér György Példavezérelt fejlesztőkörnyezet modellek feletti lekérdezésekhez Gábor Bergmann Modellek feletti lekérdezések példa alapján Beszámoló
Fall 2015 Kárász István Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése István Ráth Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése Beszámoló
Fall 2015 Szokodi Ákos Szemantika vezérelt felhasználói felületek András Pataricza Beszámoló
Spring 2015 Borbás Tamás Futtatható UML modellek megvalósítása elosztott környezetben Ákos Horváth Beszámoló
Spring 2015 Dóczi Róbert László Keresés alapú lekérdezéskiértékelés objektumhierarchiák felett István Ráth Keresés alapú lekérdezéskiértékelés objektumhierarchiák felett
Spring 2015 Hajdu Ákos CEGAR-alapú modellellenőrzés vizsgálata András Vörös Beszámoló
Spring 2015 Kárász István Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése István Ráth Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése Beszámoló
Spring 2015 Kárász István Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése István Ráth Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése
Spring 2015 Lunk Péter Modelltranszformációk fejlesztését támogató keretrendszer tervezése
Spring 2015 Molnár Gábor Modellalapú regressziós tesztelő eszköz fejlesztése Zoltán Imre Micskei Regressziós tesztelés és tesztoptimalizálás Beszámoló
Spring 2015 Unicsovics Milán György Tesztgenerálás állapotgép alapú modellekből Zoltán Imre Micskei Tesztgenerálás állapotgép alapú modellekből Beszámoló
Spring 2015 Urbán Balázs Hibaterjedési analízis és diagnosztikai szabályok tervezése folyamat alapú rendszerekben László Gönczy Hibaterjedési vizsgálatok üzleti folyamat alapú rendszerekben Beszámoló
2014. ősz Gerencsér György Példavezérelt fejlesztőkörnyezet modellek feletti lekérdezésekhez Gábor Bergmann Beszámoló
2014. ősz Molnár Vince Advanced Saturation-based Model Checking Szaturáció alapú Lineáris Temporális Logikai modellellenőrzés Beszámoló
2014. tavasz Bajor Tamás Modell alapú tesztelés beágyzott környezetben Zoltán Imre Micskei Beszámoló
2014. tavasz Nagy András Szabolcs Szakterület független genetikus algoritmus a VIATRA-DSE keretrendszerhez Beszámoló
2014. tavasz Pál Balázs Sándor Modell-lekérdezések hatékony kiértékelése Gábor Bergmann Beszámoló
2013. ősz Menyhért Ákos Repülőgépfedélzeti Beágyazott Rendszerek HW-SW Allokációjának Modell-vezérelt Specifikációja Beszámoló
2013. tavasz Ableda Péter Kérések optimális feldolgozása mikroszolgáltatás alapú rendszerekben István Majzik Beszámoló
2013. tavasz Bogsch Balázs Számítási felhők üzemeltetésének tervezési tér felderítése Beszámoló
2013. tavasz Csicsely Attila Integrációs tesztelés beágyazott rendszerekben teszt fedettségi kritériumok szerint István Majzik Beszámoló
2013. tavasz Csurgó Tamás Szoftver teszt fedettségmérés beágyazott vezérlők esetén István Majzik Beszámoló
2013. tavasz Dávid István Komplex események feldolgozása modelltranszformációs rendszerekben István Ráth Beszámoló
2013. tavasz Farkas Bálint Virtualizációs technológiák bevezetése kisvállalati környezetben Zoltán Szatmári Virtualizációs technológiák bevezetése kisvállalati környezetben Beszámoló
2013. tavasz Horányi Gergő Monitor szintézis kontextusfüggő alkalmazások futásidőbeli ellenőrzéséhez István Majzik Beszámoló
2013. tavasz Lóránd Bálint Tamás iOS alkalmazások modellalapú fejlesztése István Ráth Multiplatform mobil alkalmazások generálása Beszámoló
2013. tavasz Pál Balázs Sándor TREAT inkrementális lekérdezések előretekintő kereséssel Gábor Bergmann Beszámoló
2013. tavasz Szárnyas Gábor Szuperskálázható modellezés Beszámoló
2013. tavasz Tóth János, János Tóth Hardver és szoftver platform kidolgozása Cortex M magú vezérlőhöz István Majzik Beszámoló
2012. ősz Farkas Máté Szenzorhálózat-illesztő keretrendszer fejlesztése OpenWrt platformra István Majzik
2012. ősz Rádi Attila Mobil informatikai eszközök az otthoni betegápolásban István Majzik Beszámoló
2012. tavasz Csikós Donát Nagyméretű szoftverinfrastruktúra minőségi analízise István Ráth Beszámoló
2012. tavasz Dávid István Eseményfeldolgozás modell alapú támogatása László Gönczy
2012. tavasz Farkas Máté Szenzorhálózat-illesztő keretrendszer fejlesztése OpenWrt platformra István Majzik Beszámoló
2012. tavasz Keresztes László Bálint KULCSFONTOSSÁGÚ TELJESÍTMÉNYMUTATÓK VIZUALIZÁLÁSA A LUFTHANSA SYSTEMS HUNGARYNÉL (belső: Hullám Gábor, Strausz György külső: Süveges Zoltán) László Gönczy
2012. tavasz Kovács János SOA metamodellező keretrendszer bővítése IBM eszköztámogatással (Simon Balázs IIT) László Gönczy
2012. tavasz Krányecz Csaba Üzleti folyamatok modellvezérelt megfigyelése László Gönczy
2012. tavasz Orova Péter Szoftver-üzemeltethetőség mérése és befolyásoló tényezői Imre Kocsis
2012. tavasz Szennai Miklós Kódfedési vizsgálatok hardveresen támogatott programvégrehajtás követéssel István Majzik Beszámoló
2012. tavasz Szuchy Gabriella Modell alapú adatelőkészítés kiértékeléshez András Pataricza
2012. tavasz Szuchy Gabriella Modell alapú adatelőkészítés kiértékeléshez András Pataricza
2012. tavasz Tóth Ervin Ontológia alapú adat- és szolgáltatásbiztonság tervezés András Pataricza Beszámoló
2011. tavasz Ágoston István Biztonságkritikus rendszerek tanúsítását támogató rendszer tervezése Balázs Polgár Beszámoló
2011. tavasz Csikós Donát JBoss webalkalmazások teljesítményvizsgálata Beszámoló
2011. tavasz Gyöngyi Lajos András BPMN Szimuláció Beszámoló
2011. tavasz Horváth Dóra Hatékony gráftranszformációs rendszer megvalósítása relációs adatbázis alapokon Beszámoló
2011. tavasz Juhász Gergely Verifikációs folyamatok a biztonságkritikus rendszerek tanúsításában Balázs Polgár Beszámoló