7 ms·

> Margaret Hamilton worked out how to write bug-free software during the Apollo 11 project. Since search engines suck so bad lately: anyone know a good complet

• fragmede 2y ago
  ChatGPT is good at those kinds of questions.
• Jtsummers 2y ago
  Not a summary but here are a bunch of docs on one version of her approach: https://archive.computerhistory.org/resources/access/text/2023/04/102737144-05-01-acc.pdf https://archive.computerhistory.org/resources/access/text/20... And here is a critique: https://apps.dtic.mil/sti/pdfs/ADA198753.pdf https://apps.dtic.mil/sti/pdfs/ADA198753.pdf
• carapace 2y ago
  "System design from provably correct constructs" by James Martin, although he doesn't properly credit Hamilton in my opinion: https://archive.org/details/systemdesignfrom00mart https://archive.org/details/systemdesignfrom00mart