design-by-contract

4Hitze

2Antwort

Welche Werkzeuge verwenden Sie für Design by Contract?

Ich benutzte Microsoft CodeContracts für drei Wochen und jetzt ist die Hälfte meines Codes nur Verträge. Ich habe dutzende von nicht bewiesenen Orten, ich kann keine Runtime-Checks verwenden, weil das

7Hitze

5Antwort

Was sind die Best Practices für die Programmierung von Design by Contract?

Welche Best Practices für die Design by Contract-Programmierung? Am College habe ich gelernt, das Design durch Vertrag Paradigmas (in einer OO-Umgebung) Wir drei Möglichkeiten gelernt haben, das Probl

9Hitze

3Antwort

Code-Verträge, werden Sie sie verwenden?

Microsoft hat gerade veröffentlicht Code Contracts, ein Tool, das mit Visual Studio integriert und ermöglicht es Ihnen, Verträge für Ihren .Net-Code zu definieren und Laufzeit und Kompilierzeitprüfung

0Hitze

1Antwort

Was ist das derzeit beste Validierungs-Framework für asp.net-Apps?

Um sicherzustellen, dass es ein DRY-Ansatz ist, sollte die gesamte Validierungslogik natürlich in die Geschäftslogik (das Modell) gehen. Wie werden Prüfungsmeldungen zu Ansichten dargestellt, sollten

6Hitze

1Antwort

Ist SpeC# stabil genug für die Verwendung?

Verwendet jemand hier SpeC# regelmäßig? Ich würde gerne wissen, ob es stabil und stark genug ist, bevor ich es überall benutze. Es sieht so aus, als ob die Syntax C# 4.0 beeinflusst, was es hoffentlic

12Hitze

4Antwort

Wie machen Sie Design by Contract in Perl?

Ich verwende DBC in unseren Perl-Projekten zu untersuchen, und ich versuche, den besten Weg zu finden, Verträge in der Quelle zu überprüfen (zB Überprüfung Pre/Post-Bedingungen, Invarianten, etc.) von

1Hitze

2Antwort

Kann Design-by-Contract auf dynamische Sprachen genauso einfach angewendet werden wie auf statisch typisierte Sprachen?

Der Titel fasst ziemlich genau den Kern zusammen. Ich bin daran interessiert, ob es möglich ist, die Vertragsdurchsetzung (en) bei Verwendung einer dynamischen Sprache zu aktivieren/deaktivieren, ohne

1Hitze

3Antwort

Design by Contract-Bibliothek (Schnittstelle) Gedanken?

Ich freue mich über ein Vertragsdesign für eine Java-Bibliothek, was ich in Bezug auf die Schnittstelle bisher gemacht habe. Der Benutzer könnte executeContract aufrufen und executeContract ruft invok