George Mason University

SWE 619 – Object Oriented Software Specification and Construction

Spring Semester 2010

Course Schedule

Date	Topic	Reading Assignments	Slides and Web References	Assignment Due	Quizzes
Jan 19	Class Overview		Review || Applet Tutorial (Web)	No Assignment	No Quiz
Jan 26	Procedural Abstraction and Exceptions	Liskov Chap 1;   Liskov Chap 3;	Decomposition/Abstraction Procedural || Abstraction and Design by Contract ||	Assignment 1	Guide 1
Feb 2	Data Abstraction – Part 1	Liskov Chap 4;    Bloch Chap 9	Exceptions-Liskov || Exceptions-Bloch	Assignment 2	Guide 2
Feb 9	Snow Day
Feb 16	Snow Day
Feb 23	Data Abstraction – Parts 1- 2 and Iteration	Liskov Chap 5; Liskov Chap 6	Data Abstraction 1 || Data Abstraction 2 || Iteration Abstraction	Assignment 3	Guide 3
Mar 2	Type Abstraction and JUnit	Liskov Chap 7	Type Abstraction || JUnit || JUnit (Web)	Assignment 4	Guide 4
Mar 6	Polymorphic Abstraction	Liskov Chap 8	Polymorphic Abstraction	No Assignment	No Quiz
Mar 9			No Class – Spring Break
Mar 16	Generics	Bloch Chap 5	Generics	Assignment 5	Guide 5
Mar 23	Specification Checking and Temporal Logic		Foundations || Temporal Logic || Specification Patterns	Assignment 6	Guide 6
Mar 30	Concurrency	Bloch Chap 10	Concurrency (Web) || Concurrency-Liskov || Concurrency-Bloch	Assignment 7	Guide 7
Apr 6	Common Java Contracts	Bloch Chap 3	Methods Common to all Java Objects	Assignment 8	Guide 8
Apr 13	General Programming and JavaDoc	Bloch Chap 8	General Programming || JavaDoc and Contracts	Assignment 9	Guide 9
Apr 20	Classes and Interfaces, Testing, Parameterized Unit Testing with Contracts	Bloch Chap 4	Classes and Interfaces || Model-Driven Test Design	Assignment 10	Guide 10
Apr 27	Design Patterns	Liskov Chap 15	Design Patterns  || Mutation Analysis of Parameterized Unit Tests
May 4	Specifications and Security;  Course Wrap-Up	Liskov Chap 9	Specifications || Security || Review
May 8	Final Exam