| Week Beginning |
Readings
|
August 29
|
Leveson, N. Medical Devices:
the Therac-25, short version here
Mann, Why Software Is So Bad |
Sept 5
|
|
Sept 12
|
|
Sept 19
|
UML Tutorials
- Borland's Tutorial on this page is pretty good
OMG, Class Diagram Specifications (reference)
Bell, UML Class Diagrams (tutorial)
|
Sept 26
|
|
Oct 10
|
|
Oct 17
|
Bell, UML Activity
Diagrams (tutorial)
|
Oct 24
|
* van Lamsweerde, Formal
Specification: A Roadmap
Richters and Gargolla, OCL: Syntax,
Semantics, and Tools |
Oct 31
|
Hoare, An axiomatic basis for computer
programming, Communications of the ACM 12(10):576-580.
Leino, Hoare-Style Program Verification I
Leino, Hoare-Style Program Verification
II
Gordon, Specification and Verification I
Dwyer et al., Software Specifications |
Nov 7
|
Leavens and Cheon, Design by Contract
with JML
Poll, Kiniry, and Cok, Introduction to JML
Burdy et al., Overview of JML Tools
JML Reference Manual
|
Nov 21
|
|
Nov 28
|
.
|
Dec 5
|
.* Amey, Yours faithfully: an everyday
story of formality
Hall, Seven Myths of Formal Methods
Bowen & Hinchey, Seven More Myths of Formal
Methods |