https://hackerpaper.kaipfister.de/p/1611.02273/Collected HN comments and submissions linking this paper.enMon, 02 Nov 2026 11:16:22 GMThttps://news.ycombinator.com/item?id=19600155urn:hackerpapers:mention:1611.02273:19600155Sun, 07 Apr 2019 21:53:50 GMT<p>For minimizing disaster, the standard grad text for this type of thing is Requirements Engineering: From System Goals to UML Models to Software Specifications by Axel van Lamsweerde. There you learn about creating models and risk analysis, fault tolerance modeling[1], privacy requirements etc., all established methods based on engineering foundations but applied to software modeling and development. If you mean software development for mission critical things that control movement like aircraft, drones, factory robots etc., these engineers I would assume use verified compilers/toolchains like…</p><p><a href="https://hackerpaper.kaipfister.de/p/1611.02273/">Paper and discussion history</a>. A mention is not an endorsement.</p>cs.SE