Modeling and Analysis of Software Systems

Spring 2000

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

- List of possible presentation chapters with comments.

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

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

- 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]

- 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.

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.

Last Modified: