Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Alle Oberthemen / Informatik / Softwaretechnik / Softwaretechnik 1

103

101. Welche Regeln gibt es in der Zusicherungsmethode nach Hoare?

    * Es gibt 4 Regeln
         1. Anpassungsregel
         2. Sequenzbildungs-Regel
         3. Fallunterscheidungs-Regel
         4. Schleifen-Regel
    * Beipiel:
          o Werte vertauschen nach Zusicherungsmethode
                + Der folgende Algorithmus vertauscht die Werte von x und y. Beim Beweis geht man von unten nach oben vor.

Neuer Kommentar

Karteninfo:

Autor: noobMan

Oberthema: Informatik

Thema: Softwaretechnik

Veröffentlicht: 02.02.2010

Deutsch English