News for hackers. Stuff that matters.

A comment on Things I Believe About Software Engineering. Parent comment

Re:Things I Believe About Software Engineering by mtrycz2 on Tuesday February 04, 2020 @03:58AM (#22233607)
Given all of the comments on here, I think I might have not stated the central point clearly enough. It isn't about getting things 100% correct 100% of the time. No engineering does that.

What we like to call "software engineering" isn't actually engineering, and more like a craft than anything. Actual engineering in software is possible.

I take issue with calling our field software engineering. It's a buzzword.

[ Parent | on HN ]
Re:Things I Believe About Software Engineering by al_ak on Wednesday February 05, 2020 @02:41PM (#22250311)
Yet formal correctness is about "getting things 100% correct 100% of the time" to the greatest extent possible (you can mathematically prove the "correctness" of a program using formal methods, but it still has to run on actual hardware and you're assuming there are no bugs in your tooling).
[ Parent | on HN ]