CIS Logo

University of Oregon
Computer & Information Science

CIS 610 / OMSE 525 Course Schedule
Fall 1999

This schedule is tentative. The details are almost certain to change, but the overall outline should remain fairly consistent.

 Week  Topics  Readings* / Exercises / Notes
 1: Sep 28 Introduction, Qualities, Process Reading: Leveson
 2: Oct 4 Inspection Reading: Russel, Votta
Exercise: In-class inspection exercise
 3: Oct 11 Static Analysis: symbolic execution, finite-state verification Reading: Hantler & King, Holzmann
 4: Oct 18 Abstract interpretation; temporal logic
Reading: Abramsky & Hankin, Lamport
Note: Michal is at ICECCS 99 this whole week; the exact lecture topics will be selected to make the best use of guest lecturers.
5: Oct 25 Flow analysis
Reading: Jackson
Note: Michal is at the National Science Foundation on Tuesday. The lecture topic Tuesday is TBD.
 6: Nov 1 Static analysis wrap-up Exercise: SPIN
 7: Nov 8 Dynamic testing (intro) Reading: Butler & Finelli
 8: Nov 15 Testing methodology Reading: Ostrand & Balcer
 9: Nov 22 Test tools; Design for test Reading: Rosenblum, Bochmann
10: Nov 29 Process revisited; wrap up Reading: TBD
 11: Dec 6  No class; final exams week

Likely changes:


* Readings are to be completed by the beginning of class Tuesday of each week, except that in week 1 the reading should be completed by class time Thursday.