https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Invariante_%28Informatik%29 2026-06-02T20:28:19Z Versionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale Kopie MediaWiki 1.43.8 https://wiki-de.moshellshocker.dns64.de/index.php?title=Invariante_(Informatik)&diff=228038&oldid=prev 2021-07-07T12:09:45Z

<p>https, Links normiert</p> <p><b>Neue Seite</b></p><div>Eine &#039;&#039;&#039;Invariante&#039;&#039;&#039; ist eine Aussage, die über die Ausführung bestimmter Programmbefehle hinweg gilt. Sie ist also vor und nach diesen Befehlen wahr, sie ist demnach nicht veränderlich, also invariant. Invarianten können zum Beweis der Korrektheit von [[Algorithmus|Algorithmen]] verwendet werden und spielen eine große Rolle im [[Design By Contract]]. Dabei werden für eine Methode einer Schnittstelle deren [[Vorbedingung (Informatik)|Vor-]] und [[Nachbedingung (Informatik)|Nachbedingungen]] und alle Invarianten in ihrem Ablauf beschrieben. Mittels sogenannter [[Assertion (Informatik)|Assertion]]s (Zusicherungen) kann man dieses Konzept implementieren, sofern es die verwendete Programmiersprache oder [[Programmierschnittstelle|API]] unterstützt.<br /> <br /> == Siehe auch ==<br /> * [[Schleifeninvariante]]<br /> * [[Generische Programmierung in Java#Invarianz|Invarianz in Java]]<br /> * [[Object Constraint Language|Invariantenspezifikation in UML]]<br /> <br /> == Weblinks ==<br /> * [https://www.mathematik.uni-marburg.de/~gumm/NPPV/nppv.html Programm zur automatischen Verifikation] (auf der Seite ist auch eine auf Java portierte Version verlinkt)<br /> <br /> [[Kategorie:Programmierung]]</div>

imported>Aka