SE-381 Formal Methods

Dr. Mark J. Sebern

Fall quarter 2003-2004

Course objectives

Please consult the official course description for the course objectives.

Textbook

Please consult the official course description for the course textbook. You may wish to consult the author's book page, which includes references, errata, and additional material related to the book and Z.

You may also find helpful these references on LaTeX:

• LaTeX, A Document Preparation System, User's Guide and Reference Manual (updated for LaTeX 2e), by Leslie Lamport, Addison-Wesley, 1994, ISBN 0-201-52983-1.
• A Guide to LaTeX (third edition), by Helmut Kopka and Patrick W. Daly, Addison-Wesley, 1999, ISBN 0-201-39825-7.

Schedule

See the tentative course schedule for lecture topics, lab projects, and reports.

Course policies

My general course policies apply to this course.

Grading algorithm

Note that this algorithm indicates how a grade will be determined for students who have successfully demonstrated mastery of the course objectives. An acceptable level of success in meeting all course objectives is a prerequisite for a passing grade in the course.

This page was last updated on Tuesday, 09-Sep-2003 00:09:28 CDT.

Copyright information