> In all other engineering fields you have to produce calculations and "proofs" that your design ought to work.

That seems obviously false, unless you understand ""proof"" in such a lax manner that software engineering has them as well.