SWE 619 Course Schedule
Syllabus Updates Home page
   OO Software Specification and Construction
Fall 2009

 Meeting  Date Topic Reading Assignment Due Quizzes
1 September 2 Class Overview 619 Review Slides Applet Tutorial    
2 September 9 Procedural Abstraction; Exceptions Liskov 1 Liskov 2-3 Liskov 4 Bloch 9 Assignment 1 Sample Solution Guide 1 Quiz 1
3 September 16 Data Abstraction Liskov 5.1-5.4 Assignment 2 Sample Solution Guide 2 Quiz 2
4  September 23 Reasoning About Data Abstraction Liskov 5.5-5.10 Assignment 3 Sample Code Sample Solution Guide 3 Quiz 3
5 September 30 Iteration Abstraction; JUnit Liskov 6 JUnit Assignment 4 Sample Solution Guide 4 Quiz 4
6 October 7 Type Abstraction Liskov 7 Assignment 5 Guide 5 Quiz 5
 7 October 14 Polymorphic Abstraction, Generics Liskov 8 Bloch 5 Assignment 6 Guide 6 Quiz 6
8 October 21 Concurrency Handout; General Concurrency , Bloch 10 Assignment 7 Guide 7 Quiz 7
9 October 28 Specification Checking; Temporal Logic Slides from Kansas State University: Foundations Temporal Logic Patterns Assignment 8 Guide 8 Quiz 8
10 November 4 Common Java Contracts, General Programming, JavaDoc Bloch 3 Bloch 8 JavaDoc Assignment 9 Guide 9 Quiz 9
11 November 11 Classes and Interfaces, Testing, Parameterized Unit Testing with Contracts Bloch 4, Model Driven Test Design, Assignment 10 Guide 10 Quiz 10
12 November 18 Design Patterns Liskov 15 Tao Xie's Mutation Workshop slides Assignment 11 Guide 11 Quiz 11
  November 25   No Class - Thanksgiving Break    
13 December 2 Specifications, Security Liskov 9 Gary McGraw's Security Taxonomy Assignment 12 Guide 12 Quiz 12
14 December 9 Course Wrap Up 619 Review Slides Assignment 13 Guide 13 Quiz 13
15 December 16 Final Exam      

Schedule Notes

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.