News for hackers. Stuff that matters.

A comment on Foundations of Software Engineering. Parent comment

Re:Foundations of Software Engineering by MaxBarraclough on Saturday October 31, 2020 @07:15PM (#24956011)
Software engineering is an optimisation problem in the same sense that other engineering fields are optimisation problems. There are tradeoffs to be made on many dimensions, just like in any engineering discipline.

Again, mathematical tools can be used to prove the correctness of programs.

[ Parent | on HN ]
Re:Foundations of Software Engineering by marketingPro on Saturday October 31, 2020 @11:59PM (#24957125)
I think you are missing the science and math aspect of this. This isn't a contest. Physicians make lots of money by following tradition and practicing medicine as an art. There is huge debate that Physicians could lose their monopoly powers if medical is a science.
[ Parent | on HN ]
Re:Foundations of Software Engineering by MaxBarraclough on Sunday November 01, 2020 @06:00AM (#24958652)
This is vague. Please clarify your point. What aspect are you talking about?
[ Parent | on HN ]