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ő

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

Tanszéki résztvevők

A munkatárs fényképe
lecturer
Szoba: IB 417
A doktorandusz fényképe
PhD student
Szoba: IB414
Tel.:
+36 1 463-3579
Email: hegedusa (*) mit * bme * hu
A munkatárs fényképe
honorary associate professor
Szoba: IB417
Tel.:
+36 1 463-3586
Email: rath (*) mit * bme * hu
A doktorandusz fényképe
PhD student
Szoba: IB 414
A munkatárs fényképe
professor emeritus
Szoba: IB420
Tel.:
+36 1 463-3595
Email: pataric (*) mit * bme * hu
A doktorandusz fényképe
PhD student
Szoba: IB414
Tel.:
+36 1 463-3579
Email: ujhelyiz (*) mit * bme * hu
A munkatárs fényképe
honorary associate professor
Szoba: IB417
Tel.:
+36 1 463-3586
Email: ahorvath (*) mit * bme * hu

Contact information

Felelős: 
Dániel Varró

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

© 2010-2024 BME MIT