Software by Construction Contracts