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ő

A munkatárs fényképe
egyetemi tanár
Szoba: IB417
Tel.:
+36 1 463-3586
Email: varro (*) mit * bme * hu

Tanszéki résztvevők

A munkatárs fényképe
óraadó
Szoba: IB 417
A doktorandusz fényképe
doktorandusz
Szoba: IB414
Tel.:
+36 1 463-3579
Email: hegedusa (*) mit * bme * hu
A munkatárs fényképe
címzetes docens
Szoba: IB417
Tel.:
+36 1 463-3586
Email: ahorvath (*) mit * bme * hu
A doktorandusz fényképe
doktorandusz
Szoba: IB 414
A munkatárs fényképe
professor emeritus
Szoba: IB420
Tel.:
+36 1 463-3595
Email: pataric (*) mit * bme * hu
A munkatárs fényképe
címzetes docens
Szoba: IB417
Tel.:
+36 1 463-3586
Email: rath (*) mit * bme * hu
A doktorandusz fényképe
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

© 2010-2024 BME MIT | Hibajelentés | Használati útmutató