zum Inhalt springen
SE 1 - WS 2014/15
Benutzer-Werkzeuge
Anmelden
Webseiten-Werkzeuge
Werkzeuge
Ältere Versionen
Links hierher
Medien-Manager
Übersicht
Anmelden
Medien-Manager
Übersicht
Zuletzt angesehen:
•
Prozedurspezifikation
Seitenleiste
Menü
Software-Entwicklung I
Informationen zur Vorlesung
Materialien zur Vorlesung
Übungsorganisation
Material von Tutoren
Seiten der Übungsgruppen
Glossar
/
Glossar (English)
glossar:prozedurspezifikation
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)
Seiten-Werkzeuge
Ältere Versionen
Links hierher
Nach oben