SE-3811 Main Page: Mark J. Sebern

SE-3811 Formal Methods

Dr. Mark J. Sebern

Course schedule

FAST time logging

Tool setup and use

JML FAQ

Spring quarter 2008-2009

Course objectives

Please consult the official course description for the course objectives.

Textbook and reference materials

There is currently no required course textbook. The following reference materials will be used in the course:

Java Modeling Language (JML) reference manual
(linked from the JML documentation page) [local copies: jmlrefman.pdf, HTML version]
HTML version is also part of JML tools installation
"Design by Contract with JML", Gary T. Leavens and Yoonsik Cheon
(linked from the JML documentation page) [local copy: jmlrefdbc.pdf]

Schedule

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

Course policies

My general course policies apply to this course.

Grading algorithm

Quizzes/homework	10%
Lab assignments	30%
Research paper	15%
Midterm exam	20%
Final exam	25%

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

This page was last updated on Monday, 23-Mar-2009 16:55:58 CDT.