Публикации с тэгом "Precondition"

СТАТЬЯ Code Contracts в .NET 4.0

.NET 4.0 в рамках CLR появилась такая новинка как Code Contracts. Что оно такое? Code Contracts это развитие идеи программирования по контракту (Design by Contract), которая была введена Бертраном Мейером, создателем языка Эйфель. Чтобы услышать объяснение того что такое контракты и как они улучшают разработку программного обеспечения можно почитать его интервью. Контракт – это по сути спецификация компонентов системы. Вот как определили Контрактное программирование в википедии: Контрактное прог...