CERTIMOT
Design and analysis techniques for certifiable model transformations
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: rath (*) mit * bme * hu |
doktorandusz
Szoba: IB 414 |
egyetemi tanár
Szoba: IB420
Tel.:
+36 1 463-3595 Email: pataric (*) mit * bme * hu |
doktorandusz
Szoba: IB414
Tel.:
+36 1 463-3579 Email: ujhelyiz (*) mit * bme * hu |
címzetes docens
Szoba: IB417
Tel.:
+36 1 463-3586 Email: ahorvath (*) mit * bme * hu |
Bemutatás
The main objective of the CERTIMOT project is to enable certification for model transformations used in critical systems and service design. Novel models, languages, and techniques and tools will be developed to systematically design, generate, verify and trace model transformation artifacts required in a certification process. As a long term vision, CERTIMOT results will significantly reduce efforts required to certify model transformations
Varró Dániel, 2012. szeptember 3. 12:16 | Legutóbb frissítve: 2012. szeptember 3. 12:27