SW wykład 13 - Slajd7

<<powrót do strony wykładu

Zadanie programistyczne Pierwsze podejście Przykład Weryfikacja Przykład Możliwe przyczyny porażki Poprawiony program Przykład dowodu Drugie podejście Wyprowadzanie programu Wyprowadzanie programu, c.d. Wyprowadzanie programu, c.d. Wyprowadzanie programu, c.d. Wyprowadzanie programu, c.d. Wyprowadzanie programu, c.d. Własność stopu Własność stopu, c.d. Poprawność przez konstrukcję

Kolejna próba, z nowym programem (podanym w górnej ramce na slajdzie). Oczywiście, znów wymagamy uzasadnienia, że zaproponowany program rzeczywiście jest całkowicie poprawny względem podanych jako specyfikacja warunków wstępnego i końcowego.