Tanszéki konzulens: 

Szatmári Zoltán doktorandusz Szoba: IB414 Tel.: +36 1 463-3579 Email: szatmari (*) mit * bme * hu

A fejlesztési folyamatok meghatározó szerepet töltenek be a minennapjainkban, többek között a beágyazott, biztonságkritikus környezetbe való szoftverfejlesztés területén. A piacon több folyamat modell leíró nyelv is elterjedt, melyek egymásba való leképezése még várat magára. A feladat során a hallgató megismerkedhet több folyamatleíró nyelvvel és egy transzformációs keretrendszerrel, melynek segítségével a nyelvek közötti leképezést meg tudja valósítani.