|
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 |
Bergmann Gábor |
|
|
|
2019. ősz |
Kapoli Bence Kristóf |
BeagleBone LED Client and REST API Specification |
Ráth István Zoltán |
|
|
|
2019. ősz |
Kovács Tamás |
Ethereum - Docker - Kubernetes |
Szatmári Zoltán |
|
|
|
2019. ősz |
Kovács Tamás |
Ethereum - Docker - Kubernetes |
Szatmári Zoltán |
|
|
|
2019. ősz |
Lendvai Dénes |
Modell alapú verifikáció |
Graics Bence |
|
|
|
2019. ősz |
Pelesz Gábor |
Adatfeldolgozás és Tudásgráfok kiberfizikai rendszerekben |
Pataricza András |
|
|
|
2019. ősz |
Radnai László |
Párhuzamos programok ellenőrzése |
Hajdu Ákos |
|
Beszámoló |
|
2019. ősz |
Rezsek Máté Vencel |
WebIDE és Language Server |
Bergmann Gábor |
|
|
|
2019. ősz |
Szabó Anna |
Mesterséges intelligencia alapú rendszerek tesztelése |
Majzik István |
|
|
|
2019. ősz |
Szkupien Péter |
Nyomvonalas vasúti biztosítóberendezések modellezése |
Majzik István |
|
|
|
2019. ősz |
Träger András |
A MoDeS3 alkalmazás modell alapú fejlesztése |
Majzik István |
|
|
|
2019. ősz |
Varga Zsolt |
Devops témalabor beszámoló |
Ráth István Zoltán |
|
|
|
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 |
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 |
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 |
Bajkai Viktória Dorina |
Ellenőrzési módszerek |
Hajdu Ákos |
|
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 |
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ó |
|
|
