Hacker News Reader

The use of formal methods in NASA proves that they are useful and that the software industry should give it much more importance in my opinion.

https://ntrs.nasa.gov/search.jsp?N=0&Ntk=All&Ntt=formal%20me...

View on HN

It proves they are useful in the extreme circumstances that NASA projects represent.

It doesn't prove that they provide a good ROI for a business looking to ship CRUD apps yesterday.

Our mobile apps derive actually revenue and customer satisfaction, with budgets already hard to justify (high 7 and low to mid 8 figures) and alway live in a highly complex service and operational environment. If you added the cost of formal methods nothing would ever be approved at all. The alternative of not doing formal methods and having stuff that mostly works and makes us money and customers reasonably happy is good enough (not crud apps, not even sure wtf that is in a real business, is Facebook a crud app? (maybe crap app but still)).

I could see formal methods for things that might kill people as possible but even there spending all of your money to deliver perfect code vs still being in business with something good enough is an easy math for most CEOs.

Create Read Update Delete - often refers to apps that are largely concerned with entering and transforming data stored in a backend DB.

Reply on news.ycombinator.com