Hallgató | Diplomaterv | Konzulens |
---|---|---|
Ávéd János Kristóf | Megbízható web-szolgáltatások modell-alapú tervezése | Gönczy László |
Bajnógel Tamás | Logikai áramkör tervek viselkedésének specifikációja és ellenőrzése | Domokos Péter |
Bak Gábor | Szinkronizációs protokoll modellezése és elemzése | Majzik István |
Balogh Ádám | Deklaratív modell transzformációs leírások a VIATRA2 rendszerben | Varró Dániel |
Börcsök József | Korszerű webes architektúrák hatékonyságvizsgálata | Balogh András |
Fehér István | Munkafolyamat alapú rendszerek modellezése és implementálása | Balogh András |
Horváth Ákos | Platform specifikus modelltranszformációk automatikus generálása | Varró Dániel |
Juhász Dániel | Hibatűrő szolgáltatásorientált architektúra létrehozása web service alapokon | Bartha Tamás |
Kazinczy Tamás | UML állapottérkép specifikációk ellenőrzése | Majzik István |
Kármán Péter Elemér | Felhasználói jogosultság-felmérés adatbányászati támogatással | Pataricza András |
Kontor Kornélia | OCL szemantikai csomag definiálása és konzisztencia ellenőrzés PIM metamodellhez | Csertán György |
Kovács Máté Amádé | Webszolgáltatás alapú munkafolyamatok formális modellezése és vizsgálata | Gönczy László |
Kövi András | Nagy rendelkezésreállású szolgáltatások modellezése és vizsgálata | Varró Dániel |
Magyar Melinda | Redundáns számítógép architektúrák megbízhatósági elemzése | Majzik István |
Németh Attila Tibor | Alkalmazásfüggő modellezési nyelvek konstrukciója és helyesség bizonyítása | Pataricza András |
Nyilas Gergely Sándor | Eclipse alapú szöveges editor létrehozása a VIATRA modelltranszformációs keretrendszerhez | Varró Dániel |
Pásztor Péter László | Virtuális számítógéprendszerek teljesítményvizsgálata | Pintér Gergely |
Pócsi István | Modelltranszformációs rendszerek használata forráskód generálásra | Balogh András |
Ráth István Zoltán | Domain specifikus nyelvek grafikus megjelenítésének deklaratív leírása | Varró Dániel |
Réczey Bálint | Csomagkezelő rendszer készítése Windows platformra | Huszerl Gábor |
Sándor Zsolt | Grafikus modelltranszformációs nyelv a Viatra rendszerhez | Varró Dániel |
Schmidt András | Modelltranszformációs interpreter és nyomkövető a VIATRA rendszerben | Varró Dániel |
Sódor Bálint | Asszinkron rendszerű mikroprocesszor szimulációja | Majzik István |
Söberle Dániel | Naplófájlok feldolgozása elosztott informatikai rendszerekben | Huszerl Gábor |
Szima Ernő | Projekt munkafolyamatok követése informatikai eszközökkel | Domokos Péter |
Tari Gábor | Adattárházak infrastruktúra menedzsmentje | Bartha Tamás |
Tóth Dániel | Grafikus felhasználói felületek modell alapú fejlesztése | Balogh András |
Varga Szilvia | Modellalapú rendszermenedzsment | Pataricza András |
Vágó Dávid | Domain specifikus nyelvek transzformációja és szimulációja | Varró Dániel |
Budapest, 2006. március