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

>	Q: When is the deadline for the website?
>	A: Not specified, Dr. Broda will get back to us

------------------------------------------------------------------ 
Recommended Reading

>	Software Abstractions - Logic, Language & Analysis
>	By Daniel Jackson

Dr. Broda recommended Chapter 2: A Whirlwind Tour to us especially.

We only have one copy of the book at the moment but I managed
to find a link that has the first two chapters:

http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=10928&mode=toc

I have also attached them to the email.

------------------------------------------------------------------ 
Notes On Suprema

>	Our project is basically "An Introduction to Alloy" for JMC2.

>	Alloy is a formal language like Z, which is used in
>	Software Engineering I by Dr. Russo (Schema).

>	Hence, Dr. Broda suggested the adapting Dr. Russo's note
>	to Alloy could be a possibility.

>	Our oral presentation should revolve around the website,
>	thus it is important we try to keep the site concise.

>	Dr. Broda also recommended we make use of examples to
>	illustrate things.
>	Examples from the book and Dr. Russo's notes are good ones.

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

>	Wednesday 4th June - Rm 378 - 1600
------------------------------------------------------------------