Software is not less rigorous than traditional engineering; its record-keeping and automated verification are better than most of that field's.

Added to korrents 20 Jan 2021 · How quotes work · Something wrong? Tell us

Related korrents

Our reading — they may agree, disagree or merely touch the same thing. Closest first: a shared subject counts for most, then how near the wording is.

• Nuclear power plants, the standard example of software that must be proved correct, do not care about formal verification: thorough testing is enough for them. HWHillel Wayne29 Jul 2026similar wording
• Software is not uniquely unpredictable; other engineering disciplines are hit by the same surprises and overruns. HWHillel Wayne20 Jan 2021similar wording
• The hard part of verification is not proving the code correct but working out what the specification should say. HWHillel Wayne21 Jan 2019similar wording
• Engineers are sceptical of formal methods because they were burned by CASE and UML, sold as miracle solutions and imposed on them regardless of fit. HWHillel Wayne29 Jul 2026similar wording
• High consequences cannot be what makes work engineering, because most traditional engineering is low-stakes too. HWHillel Wayne18 Jan 2021similar wording

See this on the map →