InfoQ Homepage Design by Contract Content on InfoQ
Presentations
RSS Feed-
Collaborative Contract-Driven Development
Billy Korando discusses Contract-Driven Development to improve collaborations between teams working on the same project.
-
Design by Contract in Elixir: “Let It Crash” Meets “It Shouldn’t Crash”
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.
-
Microservices or SOLID Services?
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.
-
Design by Contract (DbC)
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.
-
TDD in a DbC World
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.