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