BT

Your opinion matters! Please fill in the InfoQ Survey!

rss
30:49
Development Follow 228 Followers

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

Posted by Elba Sanchez  on  Jul 16, 2016 Posted by Elba Sanchez Follow 0 Followers  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.

49:17
Java Follow 492 Followers

Contracts in Clojure: Settling Types vs Tests

Posted by Jessica Kerr  on  Mar 06, 2016 Posted by Jessica Kerr Follow 0 Followers  on  Mar 06, 2016

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

38:24
Followers

Microservices or SOLID Services?

Posted by Ondrej Krajicek  on  Jul 17, 2015 Posted by Ondrej Krajicek Follow 0 Followers  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.

01:08:41
Followers

How to Make the Most of Code Analysis?

Posted by Patrick Smacchia  on  Jun 09, 2014 Posted by Patrick Smacchia Follow 0 Followers  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.

Followers

Design by Contract (DbC)

Posted by Joel Hebert  on  Dec 29, 2011 2 Posted by Joel Hebert Follow 0 Followers  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.

Followers

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

Posted by Greg Young  on  Jul 05, 2011 9 Posted by Greg Young Follow 7 Followers  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.

Followers

TDD in a DbC World

Posted by Greg Young  on  Sep 28, 2009 1 Posted by Greg Young Follow 7 Followers  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.

Login to InfoQ to interact with what matters most to you.


Recover your password...

Follow

Follow your favorite topics and editors

Quick overview of most important highlights in the industry and on the site.

Like

More signal, less noise

Build your own feed by choosing topics you want to read about and editors you want to hear from.

Notifications

Stay up-to-date

Set up your notifications and don't miss out on content that matters to you

BT