Software Design Group
Daniel’s CACM article about Alloy is now available. There’s also a video showing Alloy in action.
