Alloy TCS usecase

From AtlanMod

Alloy TCS usecase

This Eclipse project contains a metamodel and a TCS for a subset of the Alloy language. Archive can be downloaded here.

Software
Intranet