OOPM 2016/17 - Vor- und Nachbedingungen

Folien zur Vorlesung

Fragestellungen aus der Vorlesung

Wie kann man das Ein-/Ausgabeverhalten (über Variablen) eines Algorithmus beschreiben?
Wie können diese Zusicherungen zur Laufzeit überprüft werden?
Wie können diese Beschreibungen über- oder unterspezifiziert sein?

Spezifikation von Vor- und Nachbedingungen für weitere Algorithmen aus der Vorlesung (z.B. ggT)

page revision: 1, last edited: 10 Jan 2017 12:37

Click here to edit contents of this page.

Click here to toggle editing of individual sections of the page (if possible). Watch headings for an "edit" link when available.

Append content without editing the whole page source.

Check out how this page has evolved in the past.

If you want to discuss contents of this page - this is the easiest way to do it.

View and manage file attachments for this page.

A few useful tools to manage this Site.

See pages that link to and include this page.

Change the name (also URL address, possibly the category) of the page.

View wiki source for this page without editing.

View/set parent page (used for creating breadcrumbs and structured layout).

Notify administrators if there is objectionable content in this page.

Something does not work as expected? Find out what you can do.

General Wikidot.com documentation and help section.

Wikidot.com Terms of Service - what you can, what you should not etc.

Wikidot.com Privacy Policy.