Témalabor (BSc)

Félév 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 Klenik Attila Beszámoló
2018. ősz Antal Detre Webes fejlesztőkörnyezet szakterület-specifikus nyelvhez Bergmann Gábor
2018. ősz Bakai István Bálint Futási idejű verifikáció, monitorozás scenario-k alapján Majzik István
2018. ősz Chertes-Raffai Előd Vasúthálózat szöveges modellezése kódgenerálással Bergmann Gábor
2018. ősz Csordás Márk DevOps - Tesztautomatizálás és UI tesztelés Micskei Zoltán Beszámoló
2018. ősz Fehér Krisztián Petri-hálók modellellenőrzése Molnár Vince Beszámoló
2018. ősz Gyöngyössy Éva Modellellenőrzés TLA+ eszközzel Tóth Tamás 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 Bergmann Gábor 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, Peterle István Soma DevOps, Tanuló szoftver tesztelése Micskei Zoltán 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 Tóth Tamás 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 Majzik István
2018. ősz Várady Balázs Gamma Framework - Action Language Molnár Vince 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 Majzik István 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 Tóth Tamás
2016. ősz Ádány-Kiss Dániel Automatikus tesztelés Beszámoló
2016. ősz Balogh Tímea Kollaboratív modellezés Debreceni Csaba Kollaboratív modellezés
2016. ősz Burján Dezső Többaspektusú vizualizáció és optimalizálás Gönczy László
2016. ősz Kemenes Balázs Ethereum teszthálózat Dr. Kocsis Imre
2016. ősz Kiss Tamás Kakuro rejtvény megoldása saját domén specifikus nyelv definiálásával Nagy András Szabolcs
2016. ősz Kiss Viktor Forráskód alapú ellenőrzési technikák Hajdu Ákos
2016. ősz Kocsi Petra Modellvezérelt szoftverfejlesztés Debreceni Csaba Kollaboratív modellezés
2016. ősz László Dániel András Keresés alapú szoftver- és rendszertervezés Nagy András Szabolcs 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ó Gönczy László
2016. ősz Papp Albert Forráskód alapú ellenőrzési technikák Hajdu Ákos
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 Nagy András Szabolcs 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 Hajdu Ákos
2016. ősz Varga Bence, Varga Bence Mérés alapú modellalkotás és adatvizualizáció Gönczy László