Projekte die Design by Contract verwendet haben??

[GreenTea]

Hallo,

kennt jemand vlt. (neuere) Softwareprojekte die DbC verwendet haben? Bis auf ein Experiment habe ich nirgends etwas gefunden. Muss bald ein Referat über DbC halten und 2 Beispiele erwähnen :-/

lg

 

[Noctarius]

Mehr als kleinere Testprojekte habe ich bisher damit auch nicht gemacht, leider. Finde den Ansatz sehr cool.

 

[faulelotte]

Außer ein paar kleineren Tests habe ich leider auch nicht mehr damit gemacht.
Aber ich denke Anwendungen die mit Eiffel umgesetzt wurden könnten das eventuell nutzen, da das Konzept dort von Bertrand Meyer eingeführt wurde.