In some sense software engineering is more rigorous than mathematics, because proofs are generally informal, apart from those written in Lean, while all computer programs are strictly formal, as otherwise they wouldn't be machine-readable.