Sharing and Learning Alloy on the Web

Nuno Macedo, Alcino Cunha, José Pereira +5

We present Alloy4Fun, a web application that enables online editing and sharing of Alloy models and instances, to be used mainly in an educational context. By introducing the notio…