2 ms·
Could you elaborate on that? I looked at the article and look at a description of Alloy, it doesn't seem to me like a good example to use for Alloy.
by ma2rten 13y ago
Could you elaborate on that? I looked at the article and look at a description of Alloy, it doesn't seem to me like a good example to use for Alloy.
- mateja 13y agoFrom Daniel Jackson's book on Alloy [1], here are a few of the major examples they provide: * Leader election in a ring * Hotel room locking (this one is really cool) * Media asset library management * Memory abstractions [1] http://books.google.com/books?id=DDv8Ie_jBUQC&lpg=PP1&dq=software%20abstractions%20daniel%20jackson&pg=PA171#v=onepage&q&f=false http://books.google.com/books?id=DDv8Ie_jBUQC&lpg=PP1&dq=sof...