------------------------------------------------------------------ First Group Meeting - 02nd June 2008 - Computing Labs ------------------------------------------------------------------ Issues Raised > Out of Date Alloy Analyzer (4.0 -> 4.1.5) I have made a ticket raising the issue with CSG (attached) > Topic of Presentation We will question Dr. Broda on specifics about the presentation and what exactly it should cover. > Content of Written Report Again we will ask Dr. Broda about the exact content of the written report and any specific requirements. ------------------------------------------------------------------ Tasks > The website and Q&A are our primary concerns at this moment. > Omar & Michael will begin finding examples to potentially use in our tutorials. Examples JMC may have previous experience with are favourable, ones from Concurrency maybe suitable. > Edward will produce a short Introduction to Alloy including the history, philosophy and download links. ------------------------------------------------------------------ Notes On Q&A > Specifically the Q&A is a set of 10 questions designed to test the knowledge and understanding of Alloy. > Questions should be challenging, answering them correctly demonstrates the person being tested has a proper understanding of Alloy. > We agreed Flash use should be avoided if possible and Javascript would be preferred. ------------------------------------------------------------------ Notes On Tutorial > Omar suggested we use a pseudo Object Oriented approach, somewhat like the MIT tutorial. > Michael suggested we also work around one large example that can be incrementally explained. This example should be a proper application of Alloy. > We decided the website would not run the Alloy Analyzer but still be interactive (in a Try Yourself! sense). ------------------------------------------------------------------ Additional Notes > Layout of the website to be discussed later in the week > We should be a plan of everything to present to Dr. Broda when we meet with her next. > http://www.doc.ic.ac.uk/project/2007/271j/g06271j01/ All important notes will be available here from now on. ------------------------------------------------------------------ Next Meeting > Tuesday 3rd June - Comp. Labs - 1000 (Group work) > Tuesday 3rd June - Rm 378 - 1600 (Dr. Broda) ------------------------------------------------------------------