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 Bloch 5 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
Broken hashCode
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 Advanced JUnit(slides 23-25) Assignment 11 Due
Guide 11
In-Class 11  
13 Tuesday Nov-28 Enums and Annotations,
Understanding the Agile Heresy
Bloch 6,
Agile Development
Assignment 12 Due
Guide 12
In-Class 12 Operation Enum Example
14 Tuesday Dec-5 Course Wrap Up 619 Review Slides Assignment 13 Due
Guide 13
In-Class 13  
15 Tuesday Dec-19 Final Exam: 4:30        

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.