V dalším dílu krátkého seriálu o Code Contracts se podíváme podrobněji na post-conditions a ukážeme si, jak vztáhnout kontrakt i na výstupní parametry metod a na kolekce.
V úvodním článku krátkého seriálu o technologii Code Contracts, která vznikla v Microsoft Research, si ukážeme, v čem nám mohou kontrakty pomoci a jak je používat.