Com S 641/Refinement Calculus Seminar


General Info.
Seminar Homepage
Seminar Syllabus
Homework Directory

Old 641 Homepage
About Com S 641
Contacting Us
Old 641 Syllabus
Old 641 Course Grading Policies
Old 641 Exams

Reference
Q & A
Old 641 Meeting outlines
Resources
JML

Links
Refinement Calculus
Java Formal Methods
Department Homepage
Iowa State U. Homepage

Valid HTML 4.0!
Valid CSS!
 

Resources

This page provides information on some of the resources available for students in Com S 641. The page is organized as follows:

  1. Miscellaneous Resources: about the course, refinement calculus, formal methods for Java, and formal methods in general.
  2. Reserve List: A list of materials on reserve at the Parks Library

Miscellaneous Resources

The following are some links to various resources you may find useful about the course, refinement calculus, formal methods for Java, and formal methods in general.

Course Resources

Refinement Calculus

Related to homework projects, you might want to look at the following.

Formal Methods for Java

Other Formal Methods Resources

Return to top

Reserve List

To check out one of these (for a few hours or days), go to the Parks library reserve desk. Take along the call number and title, or look up Com S 641 there.

Required Text

Required

Author Back, Ralph-Johan, and Joakim von Wright
Title Refinement Calculus: A Systematic Introduction
Publisher New York, NY : Springer-Verlag, c1998.
Call Number TBD

Other Texts On Calculation, Verification, and Refinement

Author Cohen, Edward
Title Programming in the 1990s
Publisher New York, NY : Springer-Verlag, c1990.
Call Number QA76.6 C6235 1990

AuthorCarroll Morgan and Trevor Vickers
TitleOn the refinement calculus
PublisherNew York, NY : Springer-Verlag, c1994.
Call NumberQA76.6 O49 1994

Return to top

Last modified Tuesday, January 22, 2002.

This web page is for the Spring 2002 offering of Com S 641 or the Fall 2002 offering of Com S 610 GL at Iowa State University. The details of this course are subject to change as experience dictates. You will be informed of any changes. Please direct any comments or questions to Gary T. Leavens at leavens@cs-DOT-iastate-DOT-edu.