Check out stuff that Betrand Meyer, Eiffels dad, has written - he pretty much beat hell out of software mishaps to show how he'd tried to compensate for those issues in Eiffel. -- here's one of the best known -- https://archive.eiffel.com/doc/manuals/technology/contract/a...