Mesterséges Intelligencia és Rendszertervezés Tanszék
állapotdiagram (1) · állapotgép kompozíció (2) · állapotgépek (1) · állapotmodell (1) · aszinkron rendszerek (1) · C nyelv (1) · Eclipse plugin (1) · formális verifikáció (4) · futásidejű verifikálás (1) · Gamma (1) · Gamma keretrendszer (1) · heterogén architektúra (1) · kiber-fizikai rendszerek (1) · kódgenerálás (2) · kódgenerátor (1) · komponens alapú architektúra (1) · kontraktus (1) · modelellenőrzés (1) · modell alapú fejlesztés (1) · modell alapú kódgenerálás (1) · modellellenőrzés (2) · modellellenőrző (1) · modellezési keretrendszer (1) · modelltranszformáció (2) · modellvezérelt (1) · modellvezérelt fejlesztés (2) · modellvezérelt szoftverfejlesztés (2) · modellvezérelt szoftvertervezés (1) · monitorozás (1) · OCRA (1) · SCXML (1) · SMV (1) · szcenárió (1) · temporális logika (1) · teszt generálás (2) · tesztelés (1) · tesztgenerálás (1) · verifikáció (1) · viselkedésmodellezés (1)
Összesen 9 szakdolgozat és diplomaterv. Összes téma megtekintése »