> [...] the same in the sense that they are just as poor in quality?

I mean some real-time software for critical embedded systems has an incredible level of rigor, making heavy use of static analysis, model checking, and theorem proving.