|
|
|
SearchNavigationUser login |
Analyzable Models for Software Design Date: Feb 4 2004 Distinguished Lecture Series An overview of Alloy and its applications, with an emphasis on the key ideas behind the research program. Slides: http://people.csail.mit.edu/dnj/talks/york04/york-04.ppt.pdf Examples: http://people.csail.mit.edu/dnj/talks/york04/models 
|
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