Diplomaterv (MSc)

Félév 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 Molnár Vince Beszámoló
2017. ősz Élő Dániel Felhő-alapú infrastruktúra rekonfigurációjának verifikációs technikái Vörös Andrá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 Szatmári Zoltán
2016. tavasz Dinh Hoangthanh Attila Qualitative modelling and analysis of IT infrastructures Pataricza András
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 Szárnyas Gábor JavaScript forráskódtárak gráfalapú statikus analízise Beszámoló
2015. ősz Borbás Tamás Futtatható UML modellek megvalósítása elosztott környezetben Horváth Ákos
2015. ősz Gerencsér György Példavezérelt fejlesztőkörnyezet modellek feletti lekérdezésekhez Bergmann Gábor Modellek feletti lekérdezések példa alapján
2015. ősz Gerencsér György Példavezérelt fejlesztőkörnyezet modellek feletti lekérdezésekhez Bergmann Gábor Modellek feletti lekérdezések példa alapján Beszámoló
2015. ősz Kárász István Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése Ráth István Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése Beszámoló
2015. ősz Szokodi Ákos Szemantika vezérelt felhasználói felületek Pataricza András Beszámoló
2015. tavasz Borbás Tamás Futtatható UML modellek megvalósítása elosztott környezetben Horváth Ákos Beszámoló
2015. tavasz Dóczi Róbert László Keresés alapú lekérdezéskiértékelés objektumhierarchiák felett Ráth István Keresés alapú lekérdezéskiértékelés objektumhierarchiák felett
2015. tavasz Hajdu Ákos CEGAR-alapú modellellenőrzés vizsgálata Vörös András Beszámoló
2015. tavasz Kárász István Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése Ráth István Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése Beszámoló
2015. tavasz Kárász István Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése Ráth István Moduláris vezérlő és adatgyűjtő rendszer modell alapú fejlesztése
2015. tavasz Lunk Péter Modelltranszformációk fejlesztését támogató keretrendszer tervezése
2015. tavasz Molnár Gábor Modellalapú regressziós tesztelő eszköz fejlesztése Micskei Zoltán Imre Regressziós tesztelés és tesztoptimalizálás Beszámoló
2015. tavasz Unicsovics Milán György Tesztgenerálás állapotgép alapú modellekből Micskei Zoltán Imre Tesztgenerálás állapotgép alapú modellekből Beszámoló
2015. tavasz Urbán Balázs Hibaterjedési analízis és diagnosztikai szabályok tervezése folyamat alapú rendszerekben Gönczy László 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 Bergmann Gábor 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 Micskei Zoltán Imre 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 Bergmann Gábor 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 Majzik István 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 Majzik István Beszámoló
2013. tavasz Csurgó Tamás Szoftver teszt fedettségmérés beágyazott vezérlők esetén Majzik István Beszámoló
2013. tavasz Dávid István Komplex események feldolgozása modelltranszformációs rendszerekben Ráth István Beszámoló
2013. tavasz Farkas Bálint Virtualizációs technológiák bevezetése kisvállalati környezetben Szatmári Zoltán 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 Majzik István Beszámoló
2013. tavasz Lóránd Bálint Tamás iOS alkalmazások modellalapú fejlesztése Ráth István 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 Bergmann Gábor Beszámoló
2013. tavasz Szárnyas Gábor Szuperskálázható modellezés Beszámoló
2013. tavasz Tóth János, Tóth János Hardver és szoftver platform kidolgozása Cortex M magú vezérlőhöz Majzik István Beszámoló
2012. ősz Farkas Máté Szenzorhálózat-illesztő keretrendszer fejlesztése OpenWrt platformra Majzik István
2012. ősz Rádi Attila Mobil informatikai eszközök az otthoni betegápolásban Majzik István Beszámoló
2012. tavasz Csikós Donát Nagyméretű szoftverinfrastruktúra minőségi analízise Ráth István Beszámoló
2012. tavasz Dávid István Eseményfeldolgozás modell alapú támogatása Gönczy László
2012. tavasz Farkas Máté Szenzorhálózat-illesztő keretrendszer fejlesztése OpenWrt platformra Majzik István 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) Gönczy László
2012. tavasz Kovács János SOA metamodellező keretrendszer bővítése IBM eszköztámogatással (Simon Balázs IIT) Gönczy László
2012. tavasz Krányecz Csaba Üzleti folyamatok modellvezérelt megfigyelése Gönczy László
2012. tavasz Orova Péter Szoftver-üzemeltethetőség mérése és befolyásoló tényezői Kocsis Imre
2012. tavasz Szennai Miklós Kódfedési vizsgálatok hardveresen támogatott programvégrehajtás követéssel Majzik István Beszámoló
2012. tavasz Szuchy Gabriella Modell alapú adatelőkészítés kiértékeléshez Pataricza András
2012. tavasz Szuchy Gabriella Modell alapú adatelőkészítés kiértékeléshez Pataricza András
2012. tavasz Tóth Ervin Ontológia alapú adat- és szolgáltatásbiztonság tervezés Pataricza András Beszámoló
2011. tavasz Ágoston István Biztonságkritikus rendszerek tanúsítását támogató rendszer tervezése Polgár Balázs 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 Polgár Balázs Beszámoló