事前/後条件について一つ重要なことに気が付いた。 パラメータ付き型整合性による検証が(より原始的な)assertによる検証よりも優れているのは、事前/後条件が外部に公開されているという点である。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。