2005-12-01から1ヶ月間の記事一覧
Design by contract, by exampleの6つの原則。Principle 1: Separate queries from commands. Principle 2: Separate basic queries from derived queries. Principle 3: For each derived query, write a postcondition that specifies what result will be…