4 ms·
then add additional specifications to clarify ambiguity when observed That's such a clean, almost clinical way to describe, "After the software has caused seve
by quanticle 4y ago
then add additional specifications to clarify ambiguity when observed
That's such a clean, almost clinical way to describe, "After the software has caused several billion dollars in trading losses, bankrupting the entire company." (https://en.wikipedia.org/wiki/Knight_Capital_Group#2012_stock_trading_disruption https://en.wikipedia.org/wiki/Knight_Capital_Group#2012_stoc...)
- CuriouslyC 4y agoImagine if software with large inherent risk was developed using formal methods, and the massive remainder of software was developed using rapid development methods. It's almost like there are different tools, and they can be applied to different jobs to cause improved outcomes based on the overlap between the tool's properties and the job's properties. What a radical concept!
- quanticle 4y agoImagine if software with large inherent risk was developed using formal methods, and the massive remainder of software was developed using rapid development methods. Imagine if we could tell the difference between use-cases with large inherent risk and the massive remainder of use-cases and avoid using software designed for low-risk situations in high-risk applications.