Next / Previous / Shipman's Home Sweet Homepage / Site map

Writing Cleanroom intended functions

If we are to be able to verify the implementation of a module, we must have a semantic notation that clearly specifies what that module does. In the Cleanroom methodology, a routine's semantics are specified by writing them as an intended function, or I/F for short.


Next: Permissible Cleanroom control structures
See also: Overview of the Cleanroom software methodology
Site map
John W. Shipman, john@nmt.edu
Last updated: 1996/03/09 22:31:50
URL: http://www.nmt.edu/~shipman/soft/clean/i-f.html