/ Shipman's Home Sweet Homepage
/ Site map
Overview of the Cleanroom software methodology
I use examples in Icon and Python to explain Cleanroom.
For Icon tutorial and reference material, see my
help pages for Icon;
for Python, see www.python.org.
Here is a broad outline of how you develop each procedure in
a Cleanroom design:
- Write an intended function for the procedure as a whole.
For details, see
`Writing Cleanroom intended functions'.
- Implement this intended function using only certain
specific control structures, each of whose components are described
by their own intended functions. These smaller components are called
primary program refinements, or primes for short.
`Permissible Cleanroom control structures'.
- For each prime in the procedure, write the code that implements
that prime's intended function. If that code calls another
procedure, the interface with that procedure is defined by
the called procedure's intended function.
- The design of each procedure should be verified by a group of
peers trained in the methodology. See
`Verifying a Cleanroom procedure'.
Next: Example programs written in Cleanroom style
See also: The Cleanroom software development methodology
Previous: Introduction to Cleanroom software development
John W. Shipman,
Last updated: 2002/09/28 23:27:06