News for hackers. Stuff that matters.

A comment on Software Engineering ≠ Computer Science (2009). Parent comment

Re:Software Engineering ≠ Computer Science (2009) by peteretep on Monday August 07, 2017 @12:42AM (#14945361) 

    > why the author is so suspicious of
    > formal methods
I studied Z-Notation and CSP at what is perhaps the home of formal methods (cs.ox.ac.uk), and I've yet to come across a real-world situation where I've found either in the least bit useful.
[ Parent | on HN ]

There are no comments on this comment yet.