Témalabor (BSc)

Semester Név Cím Konzulensek Kiírás Beszámoló
2019. ősz Almási Nóra Logikai kifejezések döntési diagramként történő implicit kiértékelése
2019. ősz Bajczi Levente Párhuzamos programok formális reprezentációja
2019. ősz Fintha Dénes Flórián A VIATRA Query nyelv bővítése új nyelvi elemmel Gábor Bergmann
2019. ősz Kapoli Bence Kristóf BeagleBone LED Client and REST API Specification István Zoltán Ráth
2019. ősz Kovács Tamás Ethereum - Docker - Kubernetes Zoltán Szatmári
2019. ősz Kovács Tamás Ethereum - Docker - Kubernetes Zoltán Szatmári
2019. ősz Lendvai Dénes Modell alapú verifikáció Bence Graics
2019. ősz Pelesz Gábor Adatfeldolgozás és Tudásgráfok kiberfizikai rendszerekben András Pataricza
2019. ősz Radnai László Párhuzamos programok ellenőrzése Ákos Hajdu Beszámoló
2019. ősz Rezsek Máté Vencel WebIDE és Language Server Gábor Bergmann
2019. ősz Szabó Anna Mesterséges intelligencia alapú rendszerek tesztelése István Majzik
2019. ősz Szkupien Péter Nyomvonalas vasúti biztosítóberendezések modellezése István Majzik
2019. ősz Träger András A MoDeS3 alkalmazás modell alapú fejlesztése István Majzik
2019. ősz Varga Zsolt Devops témalabor beszámoló István Zoltán Ráth
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 Micskei Beszámoló
2018. ősz Dobos-Kovács Mihály Modellellenőrzés és tesztelés: egy kombinált megközelítés szoftverek verifilálására 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 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 Bajkai Viktória Dorina Ellenőrzési módszerek Ákos Hajdu 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 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