SWE 619 Course Schedule



Syllabus Home page

   OO Software Specification and Construction
Fall 2017


 Meeting  Date Topic Reading Quiz Guide
Assignment Due
In-Class Exercise ShowMe Link
1 Tuesday Aug-29 Class Overview 619 Review Slides Basic JUnit(slides 8-22)   In-Class 0A
In-Class 0B
 
2 Tuesday Sep-5 Procedural Abstraction; Exceptions Liskov 1 Liskov 2-3 Liskov 4 Bloch 9 Assignment 1 Due
Guide 1
In-Class 1A
In-Class 1B
 
3 Tuesday Sep-10 Data Abstraction Liskov 5.1-5.4, LiskovSet.java, Poly.java Assignment 2 Due
Guide 2
In-Class 2A
In-Class 2B
Basic Immutability
Tuesday Sep-19 Reasoning About Data Abstraction Liskov 5.5-5.10 Assignment 3 Due
Guide 3
In-Class 3 Method Verification
Verification Example
5 Tuesday Sept-26 Iteration Abstraction; Method Guidelines Liskov 6 Bloch 7 Assignment 4 Due
Guide 4
In-Class 4 Broken Iterator
6 Tuesday Oct-3 Type Abstraction Liskov 7 Assignment 5 Due
Guide 5
In-Class 5A
In-Class 5B
In-Class 5C
Method Rule
  Tuesday Oct-10   No Class - Columbus Day      
 7 Tuesday Oct-17 Polymorphic Abstraction Liskov 8 Assignment 6 Due
Guide 6
In-Class 6 Polymorphic Abstraction
8 Tuesday Oct-24 Generics, Enums, Annotations Bloch 5 Bloch 6 Assignment 7 Due
Guide 7
In-Class 7 Generic vs. Not
9 Tuesday Oct-31 Specification Checking; Temporal Logic KSU Slides: Foundations Temporal Logic Assignment 8 Due
Guide 8
In-Class 8  
10 Tuesday Nov-7 Common Java Contracts Bloch 3 Assignment 9 Due
Guide 9
In-Class 9A
In-Class 9B
Equals Contract
Broken Clone
11 Tuesday Nov-14 Classes and Inheritance Bloch 4 Assignment 10 Due
Guide 10
In-Class 10A
In-Class 10B
Composition vs. Inheritance
Dynamic Dispatching
12 Tuesday Nov-21 JUnit Theories
Understanding the Agile Heresy
Advanced JUnit(slides 23-25)
Agile Development
Assignment 11 Due
Guide 11
In-Class 11  
13 Tuesday Nov-28 Enums and Annotations, General Programming Bloch 6, Bloch 8 Assignment 12 Due
Guide 12
In-Class 12  
14 Tuesday Dec-5 Course Wrap Up 619 Review Slides Assignment 13 Due
Guide 13
   
15 Tuesday Dec-19
4:30-7:00
Final Exam        


Schedule Notes

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, on Piazza following the class in which the quiz is given.