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
Jutalom: 
2. helyezés