News for hackers. Stuff that matters.

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

Re:Software Engineering ≠ Computer Science (2009) by noir_lord on Monday August 07, 2017 @05:26AM (#14946268)
Higher assurance from the start requires something functionally similar to Ada's Spark.

I've never seen that used in the wild (though I'm in the wrong domain (web) these days).

[ Parent | on HN ]

There are no comments on this comment yet.