This flashcard is just one of a free flashcard set. See all flashcards!

All main topics / 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.

New comment

Flashcard info:

Author: noobMan

Main topic: Informatik

Topic: Softwaretechnik

Published: 02.02.2010

Deutsch English