Quick Links: Vatche, Michalis, Prof Kfoury, cs511, snBench, Alloy
| Date |
Location |
Subject |
File |
Comments |
| 6 May 2008 | MCS207 | Draft of the report | fin_report_draft.pdf | first draft (rough) |
| 5 May 2008 | MCS207 | Last but not least | snNode.als | no bug found yet.. |
| 2 May 2008 | MCS207 | Since Michalis is flying to Barcelona, we decided to work full time until May 7 (no sleep) | We planned snNodes (last case study), paper and presentation. Vatche is studying snNodes, Michalis is writing the paper. Monday we will have a draft of the paper with the first 2 case studies and a a high level alloy model for snNodes | |
| 22 Apr 2008 | MCS207 | Work Meeting | snObject2.als | snObjects (and a possible bug) |
| 17 Apr 2008 | MCS207 | Work Meeting | continued on snObjects | |
| 14 Apr 2008 | MCS207 | Work Meeting | Studying and modelling snObjects | |
| 8 Apr 2008 | Decision for the rest of the semester: Model snObject and Nodes | |||
| 26 Mar 2008 | MCS207 | Presentation Practice | ||
| 25 Mar 2008 | MCS207 | Presentation Finalized | Presentation | |
| 24 Mar 2008 | MCS207 | Integrate nanoHTTPd case studies, prepare presentation |
case-2 case-3 |
case-2 is a case study with the basic components of NanoHTTPD, case-3 is a case-study for the SxeServer |
| 24 Mar 2008 | Class | Vatche presented Alloy for us |
Thanx Vatche! | |
| 22 Mar 2008 | MCS 207 | Integrate nanoHTTPd case studies, Prepare Preliminary presentation | ..instead we worked on the Alloy presentation! | |
| 21 Mar 2008 | MCS 207 | 1.Secondary classes modelled, 2.Report done, 3.Alloy tutorial planned, 4. Preliminary Presentation Outlined | nano_case_report | Alloy tutorial also processed by classmates and prof |
| 14 Mar 2008 | MCS 207 | Work meeting - put more details in HTTP server model- prepare report | ||
| 12 Mar 2008 | MCS 207 | Work meeting - make nanoHTTPd case-study work! | nano-states.als | This does works!! State transitions implemented! |
| 07 Mar 2008 | MCS 207 | Work meeting | Meeting interrupted and cancelled | |
| 26 Feb 2008 | MCS 207 | Work meeting - Modelling states and transitions of an HTTP server using Alloy | attempt1 | This does not work.. |
| 22 Feb 2008 | MCS 176 | Meeting with Prof A.Kfoury | What can we assert about NanoHTTPd? | |
| 18 Feb 2008 | MCS 207 | Work Meeting | Start modelling | |
| 13 Feb 2008 | MCS 207 | Work Meeting (4:00 PM) | Studied NanoHTTPd Code | |
| 11 Feb 2008 | MCS 207 | Meeting about readings | Alloy specs, Code | |
| 8 Feb 2008 | Everywhere | Web Site is now Online! | this | Progress will be posted here |
| 6 Feb 2008 | Meeting with Prof A.Kfoury after class (4:00 PM) | Project Proposal Approved | ||
| 6 Feb 2008 | Project Proposal Delivered | proposal | Sent via email | |
| 6 Feb 2008 | MCS 207 | Meeting | Project Proposal | |
| 30 Jan 2008 | MCS 176 | Meeting with Prof A.Kfoury and M. Ocean | Project Discussion |