1711 Solutions and counting.
The aim of that plugin is to provide a first class Eclipse integration for the Alloy 4 specification language and tool developed at the MIT (http://alloy.mit.edu/). The release 0.3.x is based on Xt...
Create modelling languages from scratch, following an agile design process read more
Provide intuitive domain specific visualisations ...
Last Updated on Monday, February 4, 2019 - 13:52 by Daniel Le Berre
Build and Deploy, Languages, Modeling, Modeling Tools, Editor
Last Updated on Friday, January 24, 2020 - 10:11 by Loic Gammaitoni