|
Meeting |
Date |
Topic |
|
Assignment |
Quizzes |
|
1 |
21 Jan 09 |
Class Overview |
|
|
|
|
2 |
28 Jan 09 |
Procedural Abstraction; Exceptions |
Guide 1 Quiz 1 |
||
|
3 |
4 Feb 09 |
Data Abstraction |
Guide 2 Quiz 2 |
||
|
4 |
11 Feb 09 |
Reasoning About Data Abstraction |
Guide 3 Quiz 3 |
||
|
5 |
18 Feb 09 |
Iteration Abstraction; JUnit |
Quiz 4 |
||
|
6 |
25 Feb 09 |
Type Abstraction |
Quiz 5 |
||
|
7 |
4 Mar 09 |
Polymorphic Abstraction, Generics |
Quiz 6 |
||
|
|
11 Mar 09 |
|
No Class –
Spring Break |
|
|
|
8 |
18 Mar 09 |
Concurrency |
Quiz 7 |
||
|
9 |
25 Mar 09 |
Specification Checking; Temporal Logic |
Slides from Kansas State University Foundations Temporal Logic Patterns |
Quiz 8 |
|
|
10 |
1 Apr 09 |
Common Java Contracts, General Programming, JavaDoc |
Assignment 9 |
Quiz 9 |
|
|
11 |
8 Apr 09 |
Classes and Interfaces, Testing |
Assignment 10 |
Quiz 10 |
|
|
12 |
15 Apr 09 |
Design Patterns |
Assignment 11 |
Quiz 11 |
|
|
13 |
22 Apr 09 |
Specifications, Security |
Assignment 12 |
Quiz 12 |
|
|
14 |
29 Apr 09 |
Course Wrap Up |
Assignment 13 |
Quiz 13 |
|
|
15 |
6 May 09 |
Final Exam |
|
|
|
The schedule is approximate, and topics and/or
dates may change slightly.
Except
for the first class, I expect students to have completed the reading prior
to class on the date listed. Quizzes may occasionally take advantage of
this expectation.
Homework
assignments are due on the date listed. Quizzes are posted, with
solutions, following the class in which the quiz is given.