zum Inhalt springen
SE 1 - WS 2015/16
Benutzer-Werkzeuge
Anmelden
Webseiten-Werkzeuge
Suche
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
Zusatzmaterial der Tutoren
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: 2015/10/05 16:55 (Externe Bearbeitung)
Seiten-Werkzeuge
Ältere Versionen
Links hierher
Nach oben