CS 5381 Topics in Software Engineering/CS 4390 Special Topics - Introduction to Formal Methods, Fall 2016

Schedule

The following table shows a planned schedule for the course. The schedule is subject to change, and if changes are necessary, this page will be updated.

Weeks Dates Topics Readings Assignments
Week 1 Aug. 22, 24 Introduction and use case diagram
Class diagram
   
Week 2 Aug. 29, 31 Introduction to formal methods [Wing90]  
Week 3 Sep. 5, 7 Labor day
Introduction to formal methods
   
Week 4 Sep. 12, 14 Z [Spivey89] Homework 1
Week 5 Sep. 19, 21 Z
Object constraint language (OCL)

[Warmer-Kleppe99]
 
Week 6 Sep. 26, 28 OCL   Homework 2
Week 7 Oct. 3, 5 Paper presentation: Z and OCL
Tabular notation

[Janicki-Parnas-Zucker96]
 
Week 8 Oct. 10, 12 Tabular notation
Java Modeling Language (JML)
[Leavens-Baker-Ruby06]  
Week 9 Oct. 17, 19 Project propoal
Exam 1
  Proposal
Week 10 Oct. 24, 26 JML   Homework 3
Week 11 Oct. 31, Nov. 2 JML
Paper presentation: Tabular, JML
   
Week 12 Nov. 7, 9 Algebraic: Larch [Guttag-Horning86] Homework 4
Week 13 Nov. 14, 16 Larch
Process: CSP

[Hoare78]
 
Week 14 Nov. 21 CSP
Paper presentation: Larch, CSP
   
  Nov. 24-25 Thanksgiving holiday  
Week 15 Nov. 28, 30 Final: take-home
Project work and presentation
  Project report
Week 16 Dec. 7 Final exam week    

Required Readings

The following is a tentative list of required readings, and you are welcome to suggest additional readings.

Supplementary Readings


Last modified by Yoonsik Cheon: $Id: schedule-content.html,v 1.5 2017/08/09 06:36:14 cheon Exp $