{
  "id": "methodology:cleanroom",
  "_kind": "Methodology",
  "_file": "domain/methodologies/methodologies.yaml",
  "_cluster": "domain",
  "attributes": {
    "displayName": "Cleanroom Software Engineering",
    "description": "A formal methods process intended to produce software with certifiable reliability.\nCombines mathematically-based methods of software specification, design, and\ncorrectness verification with statistical usage testing. Developers verify code\nformally through inspection rather than unit testing. An independent test team\nperforms statistical usage-based testing from operational profiles with MTTF\ncalculations for reliability certification.\n",
    "methodologyKind": "hybrid",
    "origin": "Harlan Mills, IBM",
    "yearIntroduced": "1980s"
  },
  "outgoingEdges": [
    {
      "from": "methodology:cleanroom",
      "to": "domain:software-engineering",
      "kind": "applies_to"
    }
  ],
  "incomingEdges": [
    {
      "from": "lib-process:shared--cleanroom",
      "to": "methodology:cleanroom",
      "kind": "follows_methodology",
      "attributes": {
        "weight": 1
      }
    }
  ]
}