canonicalDefinitionId
# TODO: link canonical definition
displayName
Cleanroom Software Engineering
kind
concept
description
Statistical-quality methodology developed by IBM/Mills:
specification-based design, formal verification, and statistical
usage testing — defects prevented rather than detected.