English
Magyar
Horváth Ákos
doktorandusz
Elérhetőségek
Szoba:
IB414
Iroda:
1117 Budapest, Magyar tudósok krt. 2. I. ép. IB414
Tel.:
+36 1 463-3579
Email:
ahorvath (*) mit * bme * hu
Személyes honlap:
http://home.mit.bme.hu/~ahorvath/ Kutatás
- Gráf transzformácó feletti kényszer kielégítési problémák
- Gráf mintaillesztés optimalizálása
- Platoform specifikus transzformációk automatikus generálása
- hibrid mintaillesztési algoritmusok (lokális keresés alapú és inkrementális)
- A modellvezérelt fejlesztési paradigma hasznosítási a beágyazott rendszerek fejlesztéséhez
- Modelltranszformációk verifikációja:
- Statikus analízis alapú ellenőrzések
- "Design-by-Contract" paradiga használata Hoare logikán alapuló tételbizonyítókkal: JML a KeY rendszerrel és Spec#
- A gráfbányászat hasznosítása a modellvezérelt fejlesztés során