design-by-contract, Seitenzahl 1

Design by Contract (DbC) oder Programmieren nach Vertrag ist ein Ansatz zum Entwerfen von Computer-Software. Es schreibt vor, dass Softwareentwickler formale, präzise und überprüfbare Schnittstellenspezifikationen für Softwarekomponenten definieren sollten, die die gewöhnliche Definition von abstrakten Datentypen um Vorbedingungen, Nachbedingungen und Invarianten erweitern. Diese Spezifikationen werden im Einklang mit einer konzeptuellen Metapher mit den Bedingungen und als "Verträge" bezeichnet

Antworten

Wie kann ich zeigen, dass eine Methode in C # niemals null (Design by contract) zurückgibt?

Ich habe eine Methode, die niemals ein Null-Objekt zurückgibt. Ich möchte es klarstellen, damit Benutzer meiner API Code nicht wie folgt schreiben müssen: %Vor% Wie kann ich diese Absicht zeigen?

27.01.2009, 18:18

Antworten

Wann Assert in Client & Common GWT-Code verwenden

Es gibt einige Fragen zu StackOverflow, in denen die Frage diskutiert wird, wann man eine assert-Anweisung anstelle einer Ausnahme verwenden sollte. (Beispiele hier , hier , hier , hier und hier . > Allerdings habe ich den Verdacht, dass...

16.05.2011, 20:54

Antworten

Wie unterscheidet sich "Design by contract" von Racket Scheme von Eiffel?

Ich weiß, dass Eiffel (der Progenitor) und Racket beide "Design by Contract" -Funktionen implementiert haben. Leider bin ich mir nicht sicher, wie man sich von den anderen unterscheiden würde. Eiffels DBC ist auf das OOP-Paradigma und die Vererb...

15.04.2011, 02:05