------------------------------------------------------------------ 
Second Supervisor Meeting - 29th May 2008 - Rm 378 - Dr. K. Broda
------------------------------------------------------------------ 
Questions Asked

>	Q: In the presentation, do we present site or Alloy?
>	A: The website, supposed to walk through the site.

>	Q: What should the written report contain?
>	A: Possibly different content from the website,
>	   exploring a larger puzzle is feasible.

>	Q: Can we link to Alloy side notes?
>	A: Yes, so long as we don't copy them or directly post.

------------------------------------------------------------------ 
Notes on Website

>	We will have to resolve the following format issues:
>	- Introduction Page - Title banner size
>	- Contents: Expanded lists

------------------------------------------------------------------ 
Notes On Tutorial

>	Minor Issue:
>	- Definition of scope, not exact but maximum

>	At the start of the tutorial, we should outline that
>	the user should be running Alloy themselves in front of them.

------------------------------------------------------------------ 
Additional Notes

>	Require a section on comparing Alloy to other formal
>	specification languages. (e.g. Z)

------------------------------------------------------------------
Next Meeting

>	Email Dr. Broda on Friday 6th June

>	Monday 9th June - 1300 - Rm. 378 - Dr. Broda
------------------------------------------------------------------