Week | Exam | Project | Quiz | Slides studied before quiz/exam |
---|---|---|---|---|
Aug 20-24 | #1 | Course Overview Sets and Relations |
||
Aug 27-31 | #1 out | #2 | Alloy Tour (a,b,c) | |
Sep 4-7 | #3 | Alloy Tour (d,e) | ||
Sep 10-14 | #1 due | #4 | Alloy Logic (b,c) | |
Sep 17-21 | #2 out | #5 | Alloy Logic (d,e) | |
Sep 24-28 | Midterm 1 | |||
Oct 1-5 | #2 due | #6 | Introduction to OCL & USE OCL Basics |
|
Oct 8-12 | #3 out | #7 | More OCL | |
Oct 15-19 | #8 | Advanced OCL | ||
Oct 22-26 | #3 due | #9 | Invariants in OCL Pre- and Post-conditions in OCL |
|
Oct 29-Nov 2 | Midterm 2 | |||
Nov 5-9 | #4 out | #10 | Motivation Logika Basics |
|
Nov 12-16 | #11 | Methods Loops |
||
Nov 26-30 | #4 due | #12 | Termination Sequences |
|
Dec 3-7 | #13 | CaseStudies | ||
Dec 10-14 | Final |