------------------------------------------------------------------ 
Intro Meeting - 29th May 2008 - Rm 311 - Ian Moor
------------------------------------------------------------------ 
Focus of Suprema

>	LaTex
>	Web Design
>	Presentation Skills

------------------------------------------------------------------ 
Deadlines

>	Intro Article:	09th June 2008
>	Q & A:		10th June 2008
>	Final Report:	17th June 2008
>	Oral Pres:	20th June 2008

------------------------------------------------------------------ 
Marking (100 total)

>	Web Articles:	25 marks
>	Q & A:		10 marks
>	Final Report:	40 marks
>	Oral Pres:	25 marks

------------------------------------------------------------------ 
Project Description

GROUP ONE ALLOCATED:
>	A Guide to Modelling with Alloy

Supervisor:
>	Kyrsia Broda (kb)

Description:
Alloy is a specification modelling tool, similar in spirit to Z. 
Indeed, it shares many operators with Z, and does not look 
unfamiliar to a Z-user. 

Alloy was developed by Daniel Jackson from MIT and his colleagues.
It is described in a book called Software Abstractions and a tool
for analyzing specifications can be downloaded from the alloy website:

			http://alloy.mit.edu

The aim of this suprema is to take one or more examples 
(eg an example from the second year course Software Engineering I
might be one idea) and guide a beginner through the modelling of the 
example, explaining features of alloy as it goes. 
Especially, help with using the alloy tool should be included. 

The exact form of the guide is left to you, but it should be
appropriate for our students to use. 

Suggestions are that it might contain a comparison with Z 
or some FAQs (and answers, of course!). 

Alternatively, you could show how alloy solves puzzles.

------------------------------------------------------------------ 
Final Notes

Project allocation was not by choice, allocation was random.
------------------------------------------------------------------