BT
x Your opinion matters! Please fill in the InfoQ Survey about your reading habits!
rss
01:08:41

How to Make the Most of Code Analysis?

Posted by Patrick Smacchia  on  Jun 09, 2014

Patrick Smacchia shares code analysis-related practices -structuring code, measuring code quality, automated tests, code contracts, reporting progress, trending- based on his experience with NDepend.

Design by Contract (DbC)

Posted by Joel Hebert  on  Dec 29, 2011 2

Joël Hébert introduces and demoes Design by Contract’s main concepts –preconditions, postconditions, object invariants- showing their benefits in creating more robust code.

Compile-time Verification, It's Not Just for Type Safety Any More

Posted by Greg Young  on  Jul 05, 2011 9

Greg Young talks about .NET’s Contracts library, showing how to use it, what it is good for, and how it improves code quality.

TDD in a DbC World

Posted by Greg Young  on  Sep 28, 2009 1

After presenting some basics of Design by Contract using Microsoft’s SpecSharp framework, Greg Young explains how we can keep the Test First mentality in a Contract First world.

General Feedback
Bugs
Advertising
Editorial
InfoQ.com and all content copyright © 2006-2014 C4Media Inc. InfoQ.com hosted at Contegix, the best ISP we've ever worked with.
Privacy policy
BT