Fundaments

Underlying fundaments

This page is still under construction. If you are interested in the fundaments of Echo, check the scientific publications or drop us an email.

Alloy and Relational logic

Bidirectional transformations

Least-change principle