{
  "docId": "019f6b8f-8159-75fd-8b94-b1032b0be29d",
  "docSlug": "jarvis-zero-defects-code",
  "documentTitle": "zero defects code",
  "authorId": "zero-defects-code",
  "authorName": null,
  "documentKindSlug": "deck",
  "documentKindLabel": "Deck",
  "sourceTypeSlug": "investor_relations",
  "sourceTypeLabel": "Investor relations",
  "presentationDate": null,
  "orientation": null,
  "aspectRatio": null,
  "pageNumber": 6,
  "pageCount": 10,
  "prevPage": 5,
  "nextPage": 7,
  "slideType": "other",
  "function": "summarize",
  "density": "overcrowded",
  "nDataPoints": 0,
  "notes": "This appears to be a page from a technical manual or internal Microsoft document regarding software quality assurance.",
  "elementsJson": null,
  "metadataConfidence": 0.9,
  "imagePath": null,
  "slideHref": "/slides/019f6b8f-8159-75fd-8b94-b1032b0be29d/6",
  "deckHref": "/decks/019f6b8f-8159-75fd-8b94-b1032b0be29d",
  "deckJsonHref": "/decks/019f6b8f-8159-75fd-8b94-b1032b0be29d.json",
  "deckAnchorHref": "/decks/019f6b8f-8159-75fd-8b94-b1032b0be29d#slide-6",
  "components": [
    {
      "bbox": {
        "h": 0.02,
        "w": 0.12,
        "x": 0.14,
        "y": 0.94
      },
      "kind": "other",
      "text": "Zero-defects code",
      "attrs": null,
      "subkind": "annotation",
      "toolName": null,
      "toolSlug": null,
      "confidence": null,
      "componentId": "3cb7b9a3-a759-4504-9636-edac7334cf9f",
      "frameworkName": null,
      "frameworkSlug": null
    },
    {
      "bbox": {
        "h": 0.04,
        "w": 0.55,
        "x": 0.14,
        "y": 0.875
      },
      "kind": "other",
      "text": "3 In \"Cleanroom Software Engineering.\" Dave Moore can provide copies of the article. 4 OBU now calls these Project Epilogues.",
      "attrs": null,
      "subkind": "source-note",
      "toolName": null,
      "toolSlug": null,
      "confidence": null,
      "componentId": "86449038-2d1d-4a33-8566-0d519310e506",
      "frameworkName": null,
      "frameworkSlug": null
    },
    {
      "bbox": {
        "h": 0.04,
        "w": 0.72,
        "x": 0.14,
        "y": 0.298
      },
      "kind": "paragraph",
      "text": "No group of more than two programmers can agree on the best format for code reviews, so we won't make a claim for a \"best\" format. We do think code reviews are critical. Here are some ideas.",
      "attrs": null,
      "subkind": "paragraph",
      "toolName": null,
      "toolSlug": null,
      "confidence": null,
      "componentId": "762dc2b7-7eba-42f7-bf1b-02bedefeb841",
      "frameworkName": null,
      "frameworkSlug": null
    },
    {
      "bbox": {
        "h": 0.06,
        "w": 0.72,
        "x": 0.14,
        "y": 0.115
      },
      "kind": "paragraph",
      "text": "This technique has been described by Harlan Mills, and was once used unintentionally by Charles Simonyi. Both report good results in small- to medium-sized projects. One aspect of this approach is to do things in a more mathematical manner, leading to informal proofs of correctness.",
      "attrs": null,
      "subkind": "paragraph",
      "toolName": null,
      "toolSlug": null,
      "confidence": null,
      "componentId": "9601b1be-0054-417f-bf98-d3cabee66166",
      "frameworkName": null,
      "frameworkSlug": null
    },
    {
      "bbox": {
        "h": 0.04,
        "w": 0.72,
        "x": 0.14,
        "y": 0.625
      },
      "kind": "paragraph",
      "text": "Since so many problems are caused by misunderstandings, assume nothing without verification. This can take the form of asserts and state verification code that runs on demand or at idle time.",
      "attrs": null,
      "subkind": "paragraph",
      "toolName": null,
      "toolSlug": null,
      "confidence": null,
      "componentId": "c7e0e548-4f39-491e-a48a-c2c5276f8352",
      "frameworkName": null,
      "frameworkSlug": null
    },
    {
      "bbox": {
        "h": 0.03,
        "w": 0.72,
        "x": 0.14,
        "y": 0.8
      },
      "kind": "paragraph",
      "text": "Each project should determine what level of documentation is adequate. Only one thing is certain: your current level of documentation is probably inadequate.",
      "attrs": null,
      "subkind": "paragraph",
      "toolName": null,
      "toolSlug": null,
      "confidence": null,
      "componentId": "e6a63ea6-b1d3-4d14-914f-08ed3c5ab31a",
      "frameworkName": null,
      "frameworkSlug": null
    },
    {
      "bbox": {
        "h": 0.02,
        "w": 0.14,
        "x": 0.14,
        "y": 0.605
      },
      "kind": "title",
      "text": "Don't trust anyone",
      "attrs": null,
      "subkind": "headline",
      "toolName": null,
      "toolSlug": null,
      "confidence": null,
      "componentId": "35d9c374-3cf7-4abc-b564-618396bcfb27",
      "frameworkName": null,
      "frameworkSlug": null
    },
    {
      "bbox": {
        "h": 0.02,
        "w": 0.09,
        "x": 0.14,
        "y": 0.278
      },
      "kind": "title",
      "text": "Code review",
      "attrs": null,
      "subkind": "headline",
      "toolName": null,
      "toolSlug": null,
      "confidence": null,
      "componentId": "4a758224-72a2-4b85-a42b-244e8e402d65",
      "frameworkName": null,
      "frameworkSlug": null
    },
    {
      "bbox": {
        "h": 0.02,
        "w": 0.08,
        "x": 0.14,
        "y": 0.095
      },
      "kind": "title",
      "text": "Cleanroom",
      "attrs": null,
      "subkind": "headline",
      "toolName": null,
      "toolSlug": null,
      "confidence": null,
      "componentId": "7ff7fdc5-20a3-4d40-9398-7d9d4596f1b1",
      "frameworkName": null,
      "frameworkSlug": null
    },
    {
      "bbox": {
        "h": 0.02,
        "w": 0.31,
        "x": 0.14,
        "y": 0.78
      },
      "kind": "title",
      "text": "Document your design and interface",
      "attrs": null,
      "subkind": "headline",
      "toolName": null,
      "toolSlug": null,
      "confidence": null,
      "componentId": "fa3fbf3b-876f-406e-a95d-cdd3138c78b6",
      "frameworkName": null,
      "frameworkSlug": null
    }
  ],
  "metrics": [],
  "tools": [
    {
      "name": "Analytical method",
      "slug": "analytical-method",
      "agent": null,
      "layer": "slide",
      "matchId": "32f11286-d904-451f-b7ce-51a2aa61190e",
      "evidence": "This technique has been described by Harlan Mills, and was once used unintentionally by Charles Simonyi.",
      "confidence": 0.6
    }
  ],
  "frameworks": [],
  "arcBeats": [],
  "loops": [],
  "imagePathAlt": null,
  "thumbSrc": null,
  "thumbSrcAlt": null,
  "locked": true
}