Hello Walter,
BCS wrote:
Every engineering discipline I have any experience with gets a heck
of a lot closer to producing formal proofs of correctness than
programing.
Mechanical engineering designs also tend to be a lot simpler than
programs, although the environment they work in is far more complex.
Modeling for the design analysis also takes a very simplified view of
the actual design, justified by taking the worst case. For example,
the strength calculations are done for the weakest cross section, and
are not bothered with for the obviously stronger sections.
Now days they just jump to using finite element and compute everything.
Furthermore, after a while a good mechanical engineer develops a
"feel" for things that is pretty darned accurate. Going through the
analysis is a backup
No, the analysis is mandated, by code if not law.
--
... <IXOYE><
