Alloy

Showing results in 'Announcements'. Show all posts

Paper accepted at BX

Our paper on multidirectional model transformation has been accepted at the International Workshop on Bidirectional Transformations (BX).

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).