The more consequential the failure, the more rigorous the software engineering. afaik Space/Rocketry/Medicine consists of rigorous engineering, because the failure modes end in death.