https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Vorbedingung_%28Informatik%29 2026-06-23T14:10:45Z Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie MediaWiki 1.43.8 https://wiki-de.moshellshocker.dns64.de/index.php?title=Vorbedingung_(Informatik)&diff=166219&oldid=prev 2025-10-17T16:45:38Z

<p><a href="/index.php?title=WP:V&amp;action=edit&amp;redlink=1" class="new" title="WP:V (Seite nicht vorhanden)">Allgemeinbegriff(e) entlinkt</a>, „Artikel“ <a href="/index.php?title=Wikipedia:L%C3%B6schkandidaten/10._Oktober_2025&amp;action=edit&amp;redlink=1" class="new" title="Wikipedia:Löschkandidaten/10. Oktober 2025 (Seite nicht vorhanden)">gelöscht</a> bei großer Skepsis, ob ein Artikel möglich</p> <p><b>Neue Seite</b></p><div>{{Belege fehlen}}Die &#039;&#039;&#039;Vorbedingung&#039;&#039;&#039; einer [[Funktion (Informatik)|Funktion]] oder eines [[Computerprogramm|Programms]] gibt an, unter welchen Voraussetzungen das Verhalten der Funktion definiert ist. Die Vorbedingung ist Teil der [[Formale Spezifikation|formalen Spezifikation]] der Funktion (bzw. des Programms) und dient der [[Verifikation]]: Wenn sie gilt, so müssen nach Ausführung der Funktion alle [[Nachbedingung (Informatik)|Nachbedingungen]] erfüllt sein, sonst ist das Programm nicht [[Korrektheit (Informatik)|korrekt]].<br /> <br /> Das Konzept von Vor- und Nachbedingungen wird vor allem in der [[Formale Semantik|formalen Semantik]] benutzt: es stellt die Basis der [[Axiomatische Semantik|axiomatischen Semantik]] dar. Das Ziel ist es dabei, aus den Vor- und Nachbedingungen der einzelnen Teile des Programms logisch die gewünschte Nachbedingung für das gesamte Programm zu [[Schlussfolgerung|folgern]].<br /> <br /> == Siehe auch ==<br /> * [[Assertion (Informatik)|Assertion]]<br /> <br /> [[Kategorie:Programmiersprachelement]]<br /> [[Kategorie:Theoretische Informatik]]</div>

imported>Trollflöjten