SecureChange WP3 értekezlet Párizsban

Párizsban, a Thales Research modern épületében került sor a SecureChange kutatási projekt WP3 munkacsoportjának gyűlésére. Csoportunkat Bergmann Gábor képviselte. A partnerek megvitatták a projekt második évének utolsó teendőit, egyeztették a hamarosan esedékes beszámolók tartalmát, terveket készítettek a partnerek ill. munkacsoportok közötti elvi és szoftveres integrációra, és ismertették saját munkáikat. Az FTSRG a projekt támogatásával megvalósult kutatási eredményeit prezentálta, köztük az EMF-IncQuery eszközt és Hegedüs Ábel ereményeit BPEL verifikáció ill. execution trace back-annotation témában.