Témalabor (BSc)

Semester Név Cím Konzulensek Kiírás Beszámoló
2019. tavasz Bende Zoltán Modell Alapú Konfigurációs Fájlok Generálása Hyperledger Fabric Hálózatokhoz Attila Klenik Beszámoló
2018. ősz Antal Detre Webes fejlesztőkörnyezet szakterület-specifikus nyelvhez Gábor Bergmann
2018. ősz Bakai István Bálint Futási idejű verifikáció, monitorozás scenario-k alapján István Majzik
2018. ősz Chertes-Raffai Előd Vasúthálózat szöveges modellezése kódgenerálással Gábor Bergmann
2018. ősz Csordás Márk DevOps - Tesztautomatizálás és UI tesztelés Zoltán Imre Micskei Beszámoló
2018. ősz Fehér Krisztián Petri-hálók modellellenőrzése Vince Molnár Beszámoló
2018. ősz Gyöngyössy Éva Modellellenőrzés TLA+ eszközzel Tamás Tóth Beszámoló
2018. ősz Kecskés Dániel Ádám ASP.NET Core szolgáltatások készítése DevOps metodika szerint Beszámoló
2018. ősz Koltai Kadosa Márton Finom szemcsézettségű hozzáférésvédelem Git tárolókhoz Gábor Bergmann Beszámoló
2018. ősz Lobler Ádám Devops - Gitlab CI/CD Beszámoló
2018. ősz Méhész Nóra Témalaboratórium beszámoló Beszámoló
2018. ősz Orova Márton DevOps, Kubernetes Beszámoló
2018. ősz Peterle István Soma, István Soma Peterle DevOps, Tanuló szoftver tesztelése Zoltán Imre Micskei Beszámoló
2018. ősz Pribelszki Levente DevOps, Szolgáltatásfelderítés, Consul Beszámoló
2018. ősz Pünkösd Marcell SMT-megoldók programozói felületének vizsgálata Tamás Tóth Beszámoló
2018. ősz Ruszkabányai Ákos DevOps, Teljesítménytesztelés Beszámoló
2018. ősz Sárváry Krisztián Futásidejű verifikáció és monitorozás a temporális logikák segítségével István Majzik
2018. ősz Várady Balázs Gamma Framework - Action Language Vince Molnár Beszámoló
2018. ősz Varga Márton András DevOps, OpenAPI, Swagger, Webshop Beszámoló
2017. ősz Bekő Mária Bridzs Felület Modellezése Modern fejlesztőrendszerek, fejlesztői csoportmunka és modell alapú technológiák Beszámoló
2017. ősz Kövér Márton Automatikus tesztelés Beszámoló
2017. ősz Kubriczky Ádám Automatikus tesztelés Beszámoló
2017. ősz Maizl Noémi Kritikus protokollok modellezése István Majzik Kritikus protokollok modellezése
2017. ősz Padányi Emese Automatizált tesztelés Beszámoló
2017. ősz Szabó Áron Automatikus tesztelés Beszámoló
2017. ősz Tegzes Tamás Ellenőrzési módszerek Tamás Tóth
2016. ősz Ádány-Kiss Dániel Automatikus tesztelés Beszámoló
2016. ősz Balogh Tímea Kollaboratív modellezés Csaba Debreceni Kollaboratív modellezés
2016. ősz Burján Dezső Többaspektusú vizualizáció és optimalizálás László Gönczy
2016. ősz Kemenes Balázs Ethereum teszthálózat Imre Dr. Kocsis
2016. ősz Kiss Tamás Kakuro rejtvény megoldása saját domén specifikus nyelv definiálásával András Szabolcs Nagy
2016. ősz Kiss Viktor Forráskód alapú ellenőrzési technikák Ákos Hajdu
2016. ősz Kocsi Petra Modellvezérelt szoftverfejlesztés Csaba Debreceni Kollaboratív modellezés
2016. ősz László Dániel András Keresés alapú szoftver- és rendszertervezés András Szabolcs Nagy Keresés alapú szoftver- és rendszertervezés
2016. ősz Németh Zsolt Automatikus szoftvertesztelés
2016. ősz Novák Natália Mérés alapú modellalkotás és vizualizáció László Gönczy
2016. ősz Papp Albert Forráskód alapú ellenőrzési technikák Ákos Hajdu
2016. ősz Reischl Barnabás Automatikus tesztelés
2016. ősz Rigó László Kódgenerálás állapotgépből Arduino platformra Beszámoló
2016. ősz Sági Roland Calcudoku András Szabolcs Nagy Keresés alapú szoftver- és rendszertervezés
2016. ősz Szántó Tamás Automatikus tesztelés Beszámoló
2016. ősz Tóth Gergő Dávid Forráskód alapú ellenőrzési technikák Ákos Hajdu
2016. ősz Varga Bence, Bence Varga Mérés alapú modellalkotás és adatvizualizáció László Gönczy