invariants

Ich habe ein Problem bei der Verwendung von Invarianten mit Code-Verträgen festgestellt. Ich möchte eine Invariante innerhalb meiner abstrakten Klasse definieren, aber sie wird einfach ignoriert. Der folgende Code zeigt meine Schnittstelle und d...

Ich habe meinen ersten Versuch mit DDD und stoße auf ein Problem mit dem Gesamtdesign. Meine Anwendung enthält 3 Entitäten; Grafik, Knoten, Link. Jede dieser Entitäten hat eine Namenseigenschaft, die vom Benutzer geändert werden kann (was mei...

Ich habe viel über Kovarianzprobleme in C # gehört / gelesen und wollte ein paar Fragen stellen & amp; Szenarien so hoffentlich kann ich meine Verwirrung in der Sache klären. In den folgenden Beispielen wird vorausgesetzt, dass immer Folgende...

Ich schaue auf Hoare Logic und ich habe Probleme, die Methode zu verstehen, die Schleifeninvariante zu finden. Kann jemand die Methode zur Berechnung der Schleifeninvariante erklären? Und was sollte eine Schleifeninvariante enthalten, um e...