Skip to content

Comment on Transporting the CIA A-12 Blackbird to Area 51parent

Comments

Mechanical and Civil engineering requires more up front design than software because of the physical processes involved (plus the consequences of mistakes are usually deadlier). There are more questions with definite yes or no answers in engineering, and engineering uses a more rigorous application of applied mathematics than software engineering.

If software engineering were more like civil engineering we'd spend a lot more time formally proving our algorithms before we implemented them.

There are quite a few projects that do formally prove the algorithm before its implementation, but most of them we don't have access to.

The closest we can easily see is the code JPL uses on their rovers and the associated C coding standard (http://lars-lab.jpl.nasa.gov/JPL_Coding_Standard_C.pdf).

That, and the rest of NASA's software was pretty much done entirely using a waterfall approach.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.