TEORETYCZNE PODSTAWY INFORMATYKI
WFAiS UJ, Informatyka Stosowana I rok studiów, I stopień
1
22/01/2018
Prof. dr hab. Elżbieta Richter-Wąs
Wykład 14d
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
2
Metody
programistyczne
Wyidealizowany scenariusz tworzenia oprogramowania
Metody programistyczne:
Projektowanie zstępujące
Projektowanie wstępujące
Weryfikacja poprawności
Specyfikacja
Niezmienniki pętli
Problem „STOPu”
Tworzenie oprogramowania:
wyidealizowany scenariusz
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
3
Metody programistyczne
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
4
Metody programistyczne
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
5
Metody programistyczne
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
6
Metody programistyczne
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
7
Metody programistyczne
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
8
Metody programistyczne
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
9
Veryfikacja poprawności programu
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
10
Veryfikacja poprawności programu
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
11
Weryfikacja poprawności programu
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
12
Weryfikacja poprawności programu
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
13
Niezmienniki pętli
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
14
Dowodzenie niezmienników pętli
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
15
Problem „STOPu”
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
16
Uwagi końcowe
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
17
Uwagi końcowe
22/01/2018 Prof. dr hab. Elżbieta Richter-Wąs
18