Rendszertervezés és rendszerfejlesztés

2015. április 17. péntek

Zsűri Elnök: Hangos Katalin

Zsűri Tagok: Cserey György, Charaf Hassan, Molnár Bálint, Dömölki Bálint

 

Baráth Áron: A ScriptKernel, mint beágyazott domain specifikus nyelv

 

Barta Ágnes, Semeráth Oszkár: Consistency Analysis of Domain-Specific Languages

Barta Ágnes: Abstract Test Data Generation for Autonomous and Distributed Systems

Boros Péter Bálint: Univerzális szenzormodul ipari és méréstechnikai alkalmazásokhoz

Konnerth Raimund Andreas, Horváth Benedek, Mázló Zsolt: Elosztott biztonságkritikus rendszerek modellvezérelt fejlesztése

Miru György, Juhász Ferenc, Buza Dániel István: Kritikus infrastruktúra védelmi rendszer tervezése és megvalósítása

Papp Dorottya, Molnár Bálint, Kócsó Balázs, Unicsovics Milán: A digitális aláírásokba vetett bizalom növelése

Szabó Richárd: Parse transform-ok vizsgálata

Tanyi Viktor: Polimorf típuskikövetkeztetés Erlanghoz