SW wykład 13 - Slajd3
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ę
Spójrzmy znów na prosty przykład: zadanie budowy instrukcji poprawnie obliczającej całkowity pierwiastek kwadratowy liczby naturalnej. Specyfikację zadania podajemy w pierwszej ramce na slajdzie. A druga ramka proponuje pewne, chyba sensownie wyglądające rozwiązanie. Oczywiście --- to dopiero pierwszy krok, pozostaje uzasadnienie poprawności podanego programu względem specyfikacji zadania programistycznego.
