Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:prozedurspezifikation

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

glossar:prozedurspezifikation [2014/09/24 16:43] (aktuell)
Zeile 1: Zeile 1:
 +====== Prozedurspezifikation ======
 +
 +===== Bedeutung ======
 +Eine Prozedurspezifikation besteht aus:
 +  * einer Vorbedingung:​ requires <​Ausdruck>​
 +  * einer Variablenliste:​ modifies <Liste von Variablen>​
 +  * einer Nachbedingung:​ ensures <​Ausdruck>​
 +
 +===== Bemerkungen =====
 +  * Für eine leere Variablenliste schreibt man "​\nothing"​.
 +  * Eine Prozedur darf nur die globalen Variablen und Verbundkomponenten/​Instanzvariablen verändern, die in der Variablenliste aufgeführt sind.
  
glossar/prozedurspezifikation.txt · Zuletzt geändert: 2014/09/24 16:43 (Externe Bearbeitung)