Önálló labor - Informatikai infrastruktúra szakirány, 2008/2009 ősz

Hallgató Téma Konzulens
Andó Mihály Felhasználói felület prototípus szintézise dr. Pintér Gergely
Bálint Attila Modelltranszformáció példák alapján (MTBE) dr. Varró Dániel
Bende Tibor Kooperáló BPEL munkafolyamatok formális verifikációja dr. Varró Dániel
Demény Balázs SCA-BPEL alapú workflow támogatása többletszolgáltatásokkal Gönczy László
Dul Gábor E-Business folyamatok megvalósítása IBM WebSphere eszközök segítségével Géczy Viktor (IBM), Huszerl Gábor
Fancsali Dániel Péter Eszközvezérlő készítése PC-104 alapú számítógép Linux rendszeréhez Lipusz Csaba (KFKI RMKI), dr. Majzik István
Gál József GRID hálózatok modellezése áramkörkapcsolt optikai hálózatok felett Tóth Dániel
Gazda Ádám Modellellenőrzés ellenpéldáinak grafikus analízise: SALCePser Tool Bokor Péter
Gruber Richárd Idősor elemzés a rendszerfelügyeletben Égel Zoltán
Halász László e-Business folyamat megvalósítása IBM Websphere Enterprise Service Bus segítségével Géczy Viktor (IBM), Huszerl Gábor
Hegedüs Ábel BPELv2 alapú munkafolyamatok modellezése Kovács Máté
Horváth Ádám Gábor Fejlesztőeszközök integrációja a modell-vezérelt szoftverfejlesztésben Ráth István
Horváth Bálint Megbízható kommunikáció heterogén nagyvállalati rendszerekben Szombath István
Kadlecsik Ferenc Péter Beágyazott rendszerek modell alapú szintézise és analízise Balogh András
Laposa László Virtualizált rendszerek teljesítmény alapú menedzsmentje Pásztor Péter László
Malatinszki Imre Dinamikus megbízhatósági modellezés rendszerfelügyelet támogatására Kocsis Imre
Monostori Dénes Beágyazott rendszerek (avionics) modell alapú fejlesztése Horváth Ákos
Oláh János Modell alapú hibainjektáló környezet fejlesztése dr. Majzik István
Paljak Gergely János IT infrastruktúra visszacsatolás alapú szabályozása Kocsis Imre
Pócsai Viktória Logisztikai folyamatok modellalapú fejlesztése szolgáltatásorientált környezetben Kövi András
Priegl Roland Megbízható kommunikáció IBM eszközökkel Gönczy László
Répási Attila e-Business folyamatok megvalósítása IBM Websphere eszközök segítségével (Websphere Message Broker) Géczy Viktor (IBM), Huszerl Gábor
Szalai Nikolett Eclipse alapú Web2 technológiák Ráth István
Szalay Máté Magas rendelkezésre állású grid ütemező rendszer evolúciós játékelméleti szimulációk futtatására Kövi András, Prof. Csermely Péter (SOTE)
Székely Gergő Real-time Derived Data Support Tool dr. Majzik István, Notaisz Krisztián (Morgan Stanley)
Szrapkó Krisztián Energia-tudatos feladatallokáció IT rendszerekben Kocsis Imre
Tóth Gergő Modellmanipulációk in-memory adatbáziskezelő redszerekben Bergmann Gábor, Horváth Ákos
Tóth Heinemann Zsófia Ipari rendszerek logikai helyességbizonyításának automatizálási lehetőségei dr. Bartha Tamás
Tresó Krisztián Vezeték nélküli kommunikáció irányítási hálózatokban dr. Bartha Tamás
Ujhelyi Zoltán Modelltranszformációk statikus ellenőrzése Horváth Ákos, dr. Varró Dániel
Ujlaki Levente Alkalmazások fejlesztése és tesztelése mobil ad-hoc környezetben Micskei Zoltán

 

Valid HTML and CSS