BME-MIT

Oktatott tárgyai

Ebben a félévben nem oktat egyetlen tárgyat sem.

Témakiírásai

• Szemantikus modell alapú V&V eszköztámogatás megvalósítása a K Framework segítségével
• Szemantikus modellezési nyelv és kapcsolódó keretrendszer fejlesztése
• Újszerű és meglévő modellezési nyelvek statikus és dinamikus ellenőrzése szemantikus könyvtárak segítségével