|
|
|
SearchNavigationUser login |
Alloy Revisited Location: Hawk's Cay, Florida Date: Feb 19 2001 IFIP Working Group 2.9 on Requirements Engineering A new version of Alloy with structuring. BART example revisited. Why declarative style is important. 
|
The development of this site is supported by the National Science Foundation under Computing Research Infrastructure Grant No. 0707612.
Theme originally designed by Chris Herberte