Szoftver modellek követelmény-verifikációjának támogatása ontológiák segítségével
Típus:
Kari TDK
Félév:
2010. ősz
Tématerület:
Modellalapú szoftvertervezés
Konzulens (belső):
Szatmári Zoltán
Konzulens (belső):
Horváth Ákos
Konzulens (belső):
Polgár Balázs
Konzulens (belső):
Ráth István Zoltán 
Jutalom:
2. helyezés 
