Nachbedingung
aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 30. August 2019 um 07:29 Uhr durch imported>LepoRello(787921) (Nachbedingung (Informatik): Definition präzisiert).
Nachbedingung steht für:
- Nachbedingung (Informatik), ein zu prüfendes Element nach der Ausführung bei erfüllten Vorbedingungen
- Nachbedingung(en) im Rahmen der vertragsbasierten Programmierung, siehe Design by contract #Vor- und Nachbedingungen
Siehe auch
__DISAMBIG__
