Szoftvertechnológiák
2015. április 16. csütörtök
Zsűri Elnök: Kozsik Tamás
Zsűri Tagok: Vámos Ábel, Bodó Zalán, Majzik István, Lovas Norbert
Antal Gábor: Kódolási szabálysértések refaktoringja és a minőségváltozás vizsgálata
Gyimesi Gábor, Gyimesi Péter: Forráskód hibák jellemzése GitHub-on végzett adatbányászat segítségével Hamrik Lívia: Online bankolásban lévő lehetőségek kiaknázása a XXI században Horváth Gábor: Függvények modellezése globális statikus analízis céljából Kádár István: Futásidejű hibák detektálására kifejlesztett szimbolikus végrehajtó motor kiegészítése feltételrendszer építő mechanizmusokkal Kalló Bernát: Beágyazott logikai programozási nyelv tervezése és implementációja Stein Dániel: Incremental Static Analysis of Large Source Code Repositories