C#で契約による設計はSystem.DiagnosticsネームスペースのDebug.Assertメソッドを使用して行うようだ． 例えば事前条件と事後条件のチェックは以下のように行う． using System.Diagnostics public class Foo { public void Bar(object baz) { //事前条件 De…