Code Contracts #6: Modelling constraints and state
(Note: this article has been updated on 2009/05/16 by replacing the example and adding some more information) Modelling constraints on class properties and valid state of classes explicitly is an...
View ArticleCode Contracts #7: Relation to Guard classes
Hey guys. After two months of many things to do I come back again with an article to Code Contracts. This day’s topic are guard classes and how they relate to Code Contracts. Recently my colleague AJ...
View ArticleNew Code Contracts Release
On September 4th, Microsoft has made a new Code Contracts release available. Release 1.2.20903 (4 Sep 2009) comes among others with the following changes: Inclusion of Code Contracts into Sandcastle...
View ArticleCode Contracts #8: Sandcastle integration
Release 1.2.20903 (4 Sep 2009) of Code Contracts comes with a nice integration of contracts on classes and methods into Sandcastle documentation! By this, Code Contracts achieve an important goal: real...
View ArticleCode Contracts: Video on the static checker
Just a short hint for today: Francesco Logozzo from the Code Contracts team has made a little introductory video on the static checker. In this video he introduces the static checker and basically...
View ArticleSpecification: By Code, Tests and Contracts
Currently I’m taking further investments in thinking about the synergy of Design by Contract (DbC) and Test-Driven Development (TDD). This process is partially driven by my interests in Code Contracts...
View ArticleComparison: DbC and TDD – Part 1
Let’s come to another blog post in preparation of elaborating the synergy of DbC and TDD. My first blog post on this topic covered an initial discussion on specification of code elements. Thereby it...
View ArticleComparison: DbC and TDD – Part 2
This blog post is a continuation of the comparison and differentiation between DbC and TDD. Please take a look at part 1 which covers the design aspect (and shortly specification again which has been...
View ArticleComparison: DbC and TDD – Part 3
This blog post is a continuation of the comparison between DbC and TDD that started with a dedicated look at code specification and covered other aspects in part 1 and part 2. It takes a look at...
View ArticleCode Contracts Survey
Some days ago I took deeper insights into Code Contracts, which are included in .NET 4.0. Microsoft currently takes a survey on Code Contracts and the Code Contracts tools. Give them feedback to...
View Article
More Pages to Explore .....