Modell zur Qualitätssicherung in der Softwareproduktion, ursprünglich für den militärischen Bereich entwickelt.