A modellvezérelt fejlesztés alapjai

Választható doktorandusz tárgy (kód: VIMMD102)
BME Villamosmérnöki és Informatikai Kar

Előadó és tárgyfelelős:
Dr. Varró Dániel (adjunktus), Méréstechnika és Információs Rendszerek Tanszék

Vizsgaalkalmak:

• 2007. január 5. péntek 10:00 (I.L.405)

• 2007. január 12. péntek 10:00 (I.L.405)

• 2007. január 26. péntek 10:00 (I.L.405)

Vizsgatémakörök és vizsgafelkészülést segítő anyagok:

• Modellezési nyelvek tervezése (Metamodellezés + XMI, leíró logikák, OCL), Gráftranszformáció alapjai (Bevezetés + Függetlenség),

• Hatékony gráftranszformációs algoritmusok (benchmarking, CSP, adatbázis, aspektusok)

• Deklaratív modelltranszformációk (QVT, ATL, MTBE1, MTBE2)

• Helyességi problémák (Konfluencia, kritikus párok, terminálás, modellellenőrzés: GROOVE, CHECKVML)