Diplomaterv kiírások - 2003

 

PATARICZA ANDRÁS:

Domokos Péter Nyílt SVG alapú keretrendszer metamodell - bázisú modellek automatikus megjelenítésére
Szécsi Gábor Szoftver metrikák alkalmazása UML környezetben
Terék Zsolt Hatékony modelltranszformációs rendszer tervezése és alkalmazásai
Varró Gergely UML szemantika transzformáció
Várady Gergely Statikus programellenőrzés
Vinkovits Bálint Kollaborációs tudás menedzsment

MAJZIK ISTVÁN:

Josepovits László QoS biztosítása az idővezérelt architektúra TCP/IP alapú bővítéséhez
Krasznai Péter Objektum-orientált rendszerek megbízhatósági modellezése
Szigetvári Áron Valós idejű kommunikáció Ethernet fölött
Vincellér Gábor Vezérlési információk továbbítása TCP/IP felett idővezérelt rendszerekben
Hevér Márton A Prolan rádiós protokoll modellezése és Petri háló alapú teljesítményanalízise

BARTHA TAMÁS:

Back István Application of formal methods in sociology
Baffia Zoltán Szofver modul fejlesztése az APACHE webszerver szolgáltatásbiztonságának javításához
Tiszauer Norbert UNIX-os rendszerek és alkalmazások központi felügyelete

PETRI ANDRÁS:

Bajnok Kristóf Skálázható terheléselosztó klaszter hibatűrő környezetben
Kovács Krisztián Nagy megbízhatóságú IP csomagszűrő rendszer
Németh Lóránt Alkalmazás szintű hibatűrés

HUSZERL GÁBOR:

Bagi János (Vill.) Vállalati információs rendszerek elérése mobil eszközökről vezeték nélküli technológiák segítségével
Szabó Péter Távoli eljárás hívás alapú middleware rendszerek modellezése
Veres Péter Statikus nézet automatikus generálása dinamikus csoportmunka adatbázisból

CSERTÁN GYÖRGY:

Gönczy László Modell alapú Workflow mintaalkalmazás

TOLVAJ BÉLA:

Rábel Balázs Modell-szimuláció alapú rendszer identifikációja

Budapest, 2003. március 5.