Ujhelyi Zoltán

Kutatási területek

• Modell- és gráftranszformációk
• Szoftverhelyesség
  • Statikus analízis
  • Program szeletelés
  • Hibakeresés (debug)
• Adatvizualizáció
• Eclipse alapú technológiák

Fejlesztési tevékenységek

• VIATRA2 modelltranszformációs keretrendszer fejlesztése
• EMF-IncQuery modell lekérdező keretrendszer fejlesztése
• Eclipse Zest gráfvizualizációs eszköz fejlesztése

Önálló laboratórium

 

Dózsa József, Molnár Péter (BSc)

Forráskód dokumentáció VIATRA2 környezetben

Modelltranszformációs IDE fejlesztése

Molnár András (BSc)

Metrikavizualizáció a GEF3D eszköz segítségével

Papp István (BSc)

Gráfvizualizációs algoritmusok kiértékelése

Koska Sándor (BSc)

Grafikus felületek automatikus tesztelése