OMSE 522
Modeling and Analysis of Software Systems
Spring 2000

News

Tuesday 5/9

Added suggestions about chapters to use from the text for presentations. More syllabus hacking. Quiz 2 key up. Lecture 7 notes up.

Monday 5/8

Brought the web page a bit more up-to-date: added lecture 4, 6 notes, homework 2 key.

Thursday 4/27

Homework 3 is up. The syllabus has been altered to more closely reflect reality.

Old News

Presentations

• List of possible presentation chapters with comments.

Quizzes

• Quiz 1 (with key) [PDF] [PostScript] [Compressed PostScript]
• Quiz 2 (with key) [PDF] [PostScript] [Compressed PostScript]

Homework

• Homework 1 (with key) [PDF] [PostScript] [Compressed PostScript]
• CANCELLED Homework 2
• Homework 2 (with key) [PDF] [PostScript] [Compressed PostScript]
• Homework 3

Lectures

• OMSE 522 Lecture 1: Introduction To Formal Methods [HTML] [PDF] [PostScript] [Compressed PostScript]
• OMSE 522 Lecture 2: Logic, Sets, and Other Things [PDF] [PostScript] [Compressed PostScript]
• OMSE 522 Lecture 3: Introduction To Z [PDF] [PostScript] [Compressed PostScript]
• OMSE 522 Lecture 4: More About Z [PDF] [PostScript] [Compressed PostScript]
• OMSE 522 Lecture 6: FSMs and State In Z [PDF] [PostScript] [Compressed PostScript]
• OMSE 522 Lecture 7: Schemas and Birthday Books [PDF] [PostScript] [Compressed PostScript]

Syllabus

Links

• The course textbooks The Way Of Z and Applications Of Formal Methods are available through total-info.com.
• Errata for The Way Of Z, along with other useful material, is available via Jonathan Jacky's book web page.
• Michael Spivey's definitive work on Z, The Z Notation: A Reference Manual, is actually available online. A mirror of his page is available locally
• The World Wide Web Library page on The Z Notation
• Susan Stepney's Formal Methods and Z page.

Software

• A variety of software for entering, manipulating, checking, and printing Z notation is available via the links above.

• A free Acrobat Reader is available from Adobe. The Acrobat format prints best when a Postscript compatible printer is used.