| |||||||||||||
RTLWS: Modeling systems with AlloyRTLWS: Modeling systems with AlloyPosted Nov 8, 2012 18:10 UTC (Thu) by jake (editor, #205)In reply to: RTLWS: Modeling systems with Alloy by jimparis Parent article: RTLWS: Modeling systems with Alloy
> minimal example of what the Alloy language looks like
Unfortunately, my note taking was not fast enough to capture enough of the syntax to provide that example. I didn't find a definitive link for a quick look at the language either, unfortunately, but the tutorial at http://alloy.mit.edu/alloy/tutorials/online/ will certainly give you the flavor of things ...
jake
(Log in to post comments)
|
|||||||||||||