Design by Contract in Elixir: “Let It Crash” Meets “It Shouldn’t Crash”

Posted by Elba Sanchez  on  Jul 16, 2016

Elba Sanchez explains what Design by Contract is, what can be achieved using it and how it can be used in any kind of projects, from personal to mission-critical software.


Contracts in Clojure: Settling Types vs Tests

Posted by Jessica Kerr  on  Mar 06, 2016

Jessica Kerr talks about Clojure and explores the potential of contracts as the best-yet compromise between types and tests.


Microservices or SOLID Services?

Posted by Ondrej Krajicek  on  Jul 17, 2015

Ondrej Krajicek discusses how basic techniques - SOLID principles, Design by Contract - and certain metrics can be used in architecting microservices, and the benefits resulting from using them.


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
Marketing and all content copyright © 2006-2016 C4Media Inc. hosted at Contegix, the best ISP we've ever worked with.
Privacy policy

We notice you're using an ad blocker

We understand why you use ad blockers. However to keep InfoQ free we need your support. InfoQ will not provide your data to third parties without individual opt-in consent. We only work with advertisers relevant to our readers. Please consider whitelisting us.