The .NET Contract Wizard: adding Design by Contract to languages other than Eiffel | IEEE Conference Publication | IEEE Xplore