|
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 |
|
|
