Which well known systems were built using design by contract?

Posted by Kaka Woef on Stack Overflow See other posts from Stack Overflow or by Kaka Woef
Published on 2010-02-08T09:55:47Z Indexed on 2010/05/05 3:48 UTC
Read the original article Hit count: 187

Filed under:

design-by-contract

|

adoption

To convince my team mates of the usefulness of design-by-contract, I am looking for well known examples of realistic systems that were built using design by contract. Pointers to realistic, critical evaluations are appreciated.

In other words: what is the best example of a system successfully built using design-by-contract?

© Stack Overflow or respective owner

Related posts about design-by-contract

Design by Contract with Microsoft .Net Code Contract

as seen on ASP.net Weblogs - Search for 'ASP.net Weblogs'
I have done some talks on different events and summits about Defensive Programming and Design by Contract, last time was at Cornerstone’s Developer Summit 2010. Next time will be at SweNug (Sweden .Net User Group). I decided to write a blog post about of some stuffs I was talking about. Users are… >>> More
Design by contract: predict methods needed, discipline yourself and deal with code that comes to min

as seen on Stack Overflow - Search for 'Stack Overflow'
I like the idea of designing by contract a lot (at least, as far as I understand the principal). I believe it means you define intefaces first before you start implementing actual code, right? However, from my limited experience (3 OOP years now) I usually can't resist the urge to start coding pretty… >>> More
'Design By Contract' in C#

as seen on Stack Overflow - Search for 'Stack Overflow'
I wanted to try a little design by contract in my latest C# application and wanted to have syntax akin to: public string Foo() { set { Assert.IsNotNull(value); Assert.IsTrue(value.Contains("bar")); _foo = value; } } I know I can get static methods like this from… >>> More
A good Design-by-Contract library for Java?

as seen on Stack Overflow - Search for 'Stack Overflow'
A few years ago, I did a survey of DbC packages for Java, and I wasn't wholly satisfied with any of them. Unfortunately I didn't keep good notes on my findings, and I assume things have changed. Would anybody care to compare and contrast different DbC packages for Java? >>> More
Why is design by contract considered an alternative to the pseudo programming process?

as seen on Programmers - Search for 'Programmers'
Right now I'm reading Code Complete by Steve McConnell and in chapter 9 he talks about the Pseudo Programming Process (PPP). From what I've understood, the PPP is a way of programming in which the programmer first writes the pseudo code for the routine he's working on, then refines it up to the… >>> More

Related posts about adoption

Tellago announces SQL Server 2008 R2 BI quick adoption programs

as seen on ASP.net Weblogs - Search for 'ASP.net Weblogs'
During the last year, we (Tellago) have been involved in various business intelligence initiatives that leverage some emerging BI techniques such as self-service BI or complex event processing (CEP). Specifically, in the last few months, we have partnered with Microsoft to deliver a series of events… >>> More
Intel intègrera l'USB 3.0 dans Windows 8 et espère aider l'adoption de masse de cette technologie

as seen on Developper.com - Search for 'Developper.com'
Mise à jour du 09.03.2010 par Katleen Intel intègrera l'USB 3.0 dans Windows 8 et espère aider l'adoption de masse de cette technologie Une information importante vient d'être révèlée à propos du futur système d'exploitation de Microsoft. En effet, Intel a annoncé hier que l'USB 3.0 sera embarqué… >>> More
The 2010 JavaOne Java EE 6 Panel: Where We Are and Where We're Going

as seen on Oracle Blogs - Search for 'Oracle Blogs'
An informative article, based on a 2010 JavaOne (San Francisco, California) panel session, surveys a variety of expert perspectives on Java EE 6.The panel, moderated by Oracle's Alexis Moussine-Pouchkine, consisted of:* Adam Bien, Consultant Author/ Speaker, adam-bien.com* Emmanuel Bernard, Principal… >>> More
CRM@Oracle Series: Complete Customer Intelligence

as seen on Oracle Blogs - Search for 'Oracle Blogs'
How do you to get sales folks to use a CRM system? Ah, the age-old question (well, at least the one that has been around for the past 10-15 years). Of course, some combination of "Carrot and Stick" always come up as possible answers. You hear talk about, "WIFM" or "What's in it For Me?" Oracle's… >>> More
Creating a Successful Cloud Roadmap

as seen on Oracle Blogs - Search for 'Oracle Blogs'
No matter what type of cloud services or deployment models you are considering as part of your overall IT strategy, you must have a cloud services adoption roadmap to guide your journey. A cloud services adoption roadmap provides guidance that enables multiple projects to progress in parallel yet… >>> More