Cleanroom Software Development - 3

Formally

specify

system

Develop

operational

profile

Define

software

increments

Construct

stuctured

program

Formally

verify

code

Integrate

Increment

Test

integrated

system

Design

statistical

tests

Error rework

Previous slide

Next slide

Back to first slide

View graphic version