Témák böngészése

Ezen az oldalon a Portálra feltöltött szakdolgozat és diplomaterv témák között böngészhet.

  • Konzulens választásához előbb válassza ki a tanszéket!

Találatok

Összesen 11 találat.Exportálás Excelbe

Inkrementális kínai postás probléma

Dr. Kovács Gábor (TMIT)
Törteli Krisztián (5-éves képzés, műszaki informatikus szak, 2013-2014. ősz)

Ontológia alapú adat- és szolgáltatásbiztonságtervezés

Dr. Pataricza András (MIT)
Tóth Ervin (MSc képzés, gazdaságinformatikus szak, 2012-2013. ősz)

Automatikus tesztgenerálás Spec Explorer segítségével

Dr. Majzik István (MIT)
Hugyi Károly (BSc képzés, mérnök informatikus szak, 2011-2012. tavasz)

Tesztmodell-definíció TTCN-3-ban

Dr. Erős Levente (TMIT)
Kriván Bálint (BSc képzés, mérnök informatikus szak, 2012-2013. ősz)

Komplex eseményfeldolgozás modell alapú tesztelése

Dr. Gönczy László (MIT)
Kovács Zsuzsa Kitti (BSc képzés, mérnök informatikus szak, 2014-2015. ősz)

Biztonságkritikus protokoll tesztelése formális modell alapján

Dr. Majzik István (MIT)
Maizl Noémi (BSc képzés, mérnök informatikus szak, 2018-2019. ősz)