Announcements

II FATBIT Meeting

We've just presented our ongoing work at the II FATBIT Meeting.

Teste

Teste

Paper accepted at BX

Our paper on least-change bidirectional transformation has been accepted at the International Workshop on Bidirectional Transformations (BX).

Invited for the SBLP'12 special issue (SCP)

Our SBLP'12 was invited for the special issue to be published by the SCP journal.

Paper accepted at FASE

Our paper on bidirectional QVT-R transformations has been accepted at the International Conference on Fundamental Approaches to Software Engineering (FASE).

Paper accepted at RAMiCS

Our paper on relations as executable specifications has been accepted at the International Conference Relational and Algebraic Methods in Computer Science (RAMiCS).