post-conditions

1Hitze

1Antwort

Warum ist das Existentielle in den stärksten Nachbedingungen notwendig?

Jede Formulierung des stärksten Nachbedingung Prädikat Transformators ich gesehen habe, stellt die Zuordnungsregel wie folgt: sp(X:=E, P) = ∃v. (X=E[v/X] ∧ P[v/X]) Ich frage mich, warum ist die exis

verification formal-verification post-conditions 2016-08-09

---

3Hitze

2Antwort

Vorbedingung und Nachbedingung überprüft in öffentlichen Methoden

Ich las die Oracle documentation über das Schlüsselwort assert, um Methodenvoraussetzungen und Nachbedingungen zu überprüfen. Das Dokument sagt, dass es ist in Ordnung, das assert Schlüsselwort verwen

java assert preconditions post-conditions 2017-11-12

---

0Hitze

1Antwort

Voraussetzung und Klassen Eindämmung

Angenommen ich die folgende Klasse haben: public class Player { private Board board; private int roundsPlayed = 0; public void play() { while (board.isAvailable() && roundsPlayed < 10) {

preconditions post-conditions 2017-01-19

---

0Hitze

1Antwort

Ist eine Ausnahme eine gültige Nachbedingung?

Betrachten Sie die folgende Schnittstelle: public interface AISPI { public Path getPath(Entity entity, Entity target, World world) throws NoPathException; } Zugegeben, dass Einheit, Ziel und

design-by-contract contract preconditions post-conditions 2016-05-19

---

1Hitze

1Antwort

Wie man eine verkettete Liste in meiner postcodition Gebrauch überschlinge Schleife in Eiffel?

Ich versuche über 1 verwenden | .. | list.count als j alle list.i_th (z) ~ alte list.i_th (z) Ende aber es sagt unbekannter Bezeichner z. Was ist falsch an dieser Syntax?

linked-list eiffel post-conditions 2017-10-11

---