Summary for Week 8

• Lecture 19:We discussed relational modeling. The document describing a relational language called Nitpick can be found here [PS,PDF].
  Date:Mon, 10/21/22.
• Lectures 20 and 21:We finished our discussion on Nitpick. We started discussing a new relational language called Alloy designed by Prof. Daniel Jackson and hist students. Our discussion was based on a talk that Prof. Jackson gave. The title of the talk is Declarative Modelling and Analysis with Alloy and the slides can be found here.
  Dates:Wed, 10/23/02 and Fri, 10/25/02.