Software Engineering ≠ Computer Science (2009)
I don&#x27;t understand why the author is so suspicious of formal methods. Other engineering disciplines are based on the application of solid, well-understood principles from the natural sciences to practical problem domains. There are few solid, well-understood principles in computer science that are directly and obviously applicable to software engineering so far.<p>I vigorously contest the idea that software engineering cannot be rigorous and so shouldn&#x27;t try.