RTLWS: Modeling systems with Alloy
Posted Nov 17, 2012 23:43 UTC (Sat) by twm
Parent article: RTLWS: Modeling systems with Alloy
I wholeheartedly recommend Daniel Jackson's "Software Abstractions: Logic, Language and Analysis" to anyone interested in the use of Alloy. It's by far the best textbook I encountered while at school.
to post comments)