Skip to content
nmacedo edited this page Oct 31, 2013 · 3 revisions

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

Clone this wiki locally