Eine Invariante ist eine Aussage, welche die Ausführung bestimmter Programmempfehle hindert. Dies ist auch unser Fall, und Sie können sich gerne ändern, auch invariant. Inviranten können zum Beweis der Korrektheit von Algorithmen werden verwöhnt und buchstabiert von Große Rolle im Design By Contract . Dabei Werden für Eine Methode Einer Schnittstelle Deren Vor- und Nachbedingungen und alle Invarianten in IHREM Ablauf beschrieben. Mittels so genannter Assertionen (Sysicherungen) können Implementierungen realisiert werden, wie beispielsweise die verwöhnte Programmiersprache oder API unterstützt.

Siehe auch

• Schleifeninvariante
• Invarianz in Java
• Invariante Spezifikation in UML

Weblinks

• Programm automatisch verifiziert (aufgrund der Java-Version)