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,
Last updated: 1996/03/09 22:31:50