Captain's Log: Software Specification, Spring 2017

1: January 18 (Wednesday)
12:30-1:20pm: lab session:
January 19 (Thursday)
Quiz due at 11:59pm: Introduction
2: January 23 (Monday)
12:30pm - 1:10pm: lab session:
January 24 (Tuesday)
Quiz due at 11:59pm: Sets and Relations
3: January 25 (Wednesday)
12:30-1:20pm: lab session:
4: January 30 (Monday)
12:30-1:20pm: lab session:
January 31 (Tuesday)
Quiz due at 11:59pm: Alloy Tour (a,b,c)
5: February 1 (Wednesday)
12:30-1:20pm: lab session: Tomorrow, the first homework assignment is posted (due February 16th)
6: February 6 (Monday)
12:30-1:20pm: lab session: Last day for 100% refund
February 7 (Tuesday)
Quiz due at 11:59pm: Alloy Tour (d,e)
7: February 8 (Wednesday)
12:30-1:20pm: lab session:
8: February 13 (Monday)
12:30-1:20pm: lab session:
February 14 (Tuesday)
Quiz due at 11:59pm: Alloy Logic (b,c)
9: February 15 (Wednesday)
12:30-1:20pm: lab session:
February 16 (Thursday)
Homework 1 due tonight.
10: February 20 (Monday)
12:30-1:15pm: lab session:
February 21 (Tuesday)
Quiz due at 11:59pm: Alloy Logic (d,e)
11: February 22 (Wednesday)
Exam I.

Tomorrow, the second homework assignment is posted (due March 10).

12: February 27 (Monday)
12:30-1:20pm: lab session:
February 28 (Tuesday)
No quiz
13: March 1 (Wednesday)
12:30-1:20pm: lab session:
14: March 6 (Monday)
12:30-1:20pm: lab session:
March 7 (Tuesday)
Quiz due at 11:59pm: Introduction to OCL & USE and OCL Basics
15: March 8 (Wednesday)
12:30-1:20pm: lab session:
March 10 (Friday)
Homework 2 due tonight (but may be submitted during the weekend)
16: March 13 (Monday)
12:30-1:15pm: lab session:
March 14 (Tuesday)
Quiz due at 11:59pm: More OCL
17: March 15 (Wednesday)
12:30-1:20pm: lab session:
March 20-24
Spring break.
18: March 27 (Monday)
12:30-1:20pm: lab session:
March 28 (Tuesday)
Quiz due at 11:59pm: Advanced OCL
19: March 29 (Wednesday)
12:30-1:20pm: lab session:
20: April 3 (Monday)
12:30-1:20pm: lab session:
April 4 (Tuesday)
Quiz due at 11:59pm: Invariants, and Pre- & Post-conditions, in OCL
21: April 5 (Wednesday)
Exam II.
22: April 10 (Monday)
12:30-1:20pm: lab session:
April 11 (Tuesday)
No quiz
23: April 12 (Wednesday)
12:30-12:45pm: lab session:
April 14 (Friday)
Homework 3 (OCL & USE) due tonight (but may be submitted during the weekend)
24: April 17 (Monday)
12:30-1:20pm: lab session where we embark on Logika:
April 18 (Tuesday)
Quiz (on Logika) due at 11:59pm: Logika and Basics
25: April 19 (Wednesday)
12:30-1:20pm: lab session where we continue Logika:
26: April 24 (Monday)
12:30-1:20pm: lab session:
April 25 (Tuesday)
Quiz due at 11:59pm: Methods and Loops
27: April 26 (Wednesday)
12:30-1:25pm: lab session:
28: May 1 (Monday)
12:30-1:20pm: lab session:
May 2 (Tuesday)
Quiz due at 11:59pm: Termination, Sequences, and CaseStudies
29: May 3 (Wednesday)
12:30-1:20pm: lab session:
May 5 (Friday)
Homework 4 (Logika) due tonight (but may be submitted during the weekend)
May 8 (Monday)
Final exam, 4:10-6:00pm


Torben Amtoft