English
Magyar
CERTIMOT
Tervezési és analízis technikák modell-transzformációk tanúsítványozásához
Típus:
Hazai (egyéb)
Kezdés éve:
2010
Befejezés éve:
2014 Tanszéki projektvezető
 egyetemi tanár
Szoba: IB417
Tel.:
+36 1 463-3586 Email: varro (*) mit * bme * hu |
Tanszéki résztvevők
 óraadó
Szoba: IB 417 |
 doktorandusz
Szoba: IB414
Tel.:
+36 1 463-3579 Email: hegedusa (*) mit * bme * hu |
 címzetes docens
Szoba: IB417
Tel.:
+36 1 463-3586 Email: ahorvath (*) mit * bme * hu |
 doktorandusz
Szoba: IB 414 |
 professor emeritus
Szoba: IB420
Tel.:
+36 1 463-3595 Email: pataric (*) mit * bme * hu |
 címzetes docens
Szoba: IB417
Tel.:
+36 1 463-3586 Email: rath (*) mit * bme * hu |
 doktorandusz
Szoba: IB414
Tel.:
+36 1 463-3579 Email: ujhelyiz (*) mit * bme * hu |
Elérhetőségek
Felelős:
Varró Dániel Bemutatás
A CERTIMOT projekt fő célkitűzése, hogy lehetővé tegye a tanúsítványozást a kritikus rendszerekben és szolgáltatásokban használt modelltranszformációk számára. Új modellek, nyelvek és technikák kerülnek kifejlesztésre, amelyek támogatják a modelltranszformációk szisztematikus tervezését, generálását, ellenőrzését és nyomonkövetését, amelyekre a tanúsítványozási folyamatban szükség van. Hosszú távú célkitűzésünk, hogy a CERTIMOT eredményei jelentősen csökkentsék a modelltranszformációk tanúsítványozásának komplexitását
Varró Dániel, 2012. szeptember 3. 11:13 | Legutóbb frissítve: 2012. szeptember 3. 11:27