Summary for Week 9
-
Lectures 19 and 20:We finished the discussion on ladybug and started Alloy. Alloy
is a relational language from MIT and has constraint checker and a UML-like visual notation.
Dates:Mon, 10/29/01 and Wed, 10/31/01.
-
Lectures 21:We finished the dicussion on Alloy. The discussion was based on the following
paper:
- Alloy: A Lightweight Object Modelling Notation, Daniel Jackson.
The paper can be found at the following web-site.
Click on publications and download the paper.
Dates:Fri, 11/2/01.