SecureChange WP3 meeting in Paris

This modern building of Thales Research at the outskirts of Paris hosted the 2010 October meeting of the WP3 working group of the EU research project SecureChange. Our research group was represented by Gábor Bergmann. Project partners discussed the remaining tasks in the second year of SecureChange, finalized the outline of the upcoming project deliverables, drafted plans on the conceptual and technical integration among partners and work packages, and presented their results to the other WP members. FTSRG showcased accomplishments funded by SecureChange, including the tool EMF-IncQuery and the results of Ábel Hegedüs in the topics of BPEL verification and execution trace back-annotation.