SW wykład 13 - Slajd1: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 2: | Linia 2: | ||
[[Grafika:sw1300.png|frame|center|]] | [[Grafika:sw1300.png|frame|center|]] | ||
Już na poprzednich wykładach sugerowaliśmy "czytanie" specyfikacji | |||
zadanych przez pary warunków wstępnego i końcowego jako zadania | |||
programistycznego, które polega na skonstruowania programu | |||
(całkowicie) poprawnego względem tych warunków. Niniejszy wykład | |||
poświęcimy niektórym ważnym aspektom metod rozwiązywania takich zadań. | |||
Aktualna wersja na dzień 19:00, 17 paź 2006
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ę
Już na poprzednich wykładach sugerowaliśmy "czytanie" specyfikacji zadanych przez pary warunków wstępnego i końcowego jako zadania programistycznego, które polega na skonstruowania programu (całkowicie) poprawnego względem tych warunków. Niniejszy wykład poświęcimy niektórym ważnym aspektom metod rozwiązywania takich zadań.
