Konstruktion und Verifikation iterativer Algorithmen
{"Image DocumentName": "Konstruktion und Verifikation iterativer Algorithmen", "Image ImageDescription": "Betrachten Grundschema des Algorithmenaufbaus in einer Variante, die einem strukturiert-iterativen Ansatz entspricht. Der Algorithmus operiert dabei auf einer Menge V von Variablen (Name mit wechselndem Wert) Diese Zustandsvariablen haben ver\u00e4nderliche Werte und k\u00f6nnen somit bearbeitet werden, und unter ihnen befindet sich schlu\u00dfendlich das Resultat. Nach einem Vorbereitungsschritt wird so lange die Arbeit f(V) verrichtet, wie die Schleifenbedingung C(V) wahr ist. Danach wird ein Nachbearbeitungsschritt ausgef\u00fchrt und der Algorithmus beendet. W. K\u00fcchlin, A. Weber: Einf\u00fchrung in die Informatik \u2013 objektorientiert mit Java -46- Springer-Verlag, ISBN", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}