Szablon:Semantyka i weryfikacja programów/Wykład 14: Różnice pomiędzy wersjami

Aktualna wersja na dzień 15:43, 29 wrz 2020

@@ Linia 1: / Linia 1: @@
-{{Slajdy|txt=<slides>
-name=SW wykład 14
-fontsize=120%
-menuItemsNumber=9
-showButtons=true
-hideMenu=false
-Slajd1|Systematyczne konstruowanie programów
-Slajd2|Inżynieria wymagań
-Slajd3|Walidacja specyfikacji
-Slajd4|Strukturalne języki specyfikowania
-Slajd5|Zadanie programisty
-Slajd6|Uszczegóławianie
-Slajd7|Uszczegóławianie, c.d.
-Slajd8|Dekompozycja
-Slajd9|Wyzwanie
-</slides>}}
 <font size="-2">[[Semantyka i weryfikacja programów#moduły|<<powrót do strony wykładu]]</font>
+[[SW_wykład_14_-_Slajd1|Systematyczne konstruowanie programów]]
+[[SW_wykład_14_-_Slajd2|Inżynieria wymagań]]
+[[SW_wykład_14_-_Slajd3|Walidacja specyfikacji]]
+[[SW_wykład_14_-_Slajd4|Strukturalne języki specyfikowania]]
+[[SW_wykład_14_-_Slajd5|Zadanie programisty]]
+[[SW_wykład_14_-_Slajd6|Uszczegóławianie]]
+[[SW_wykład_14_-_Slajd7|Uszczegóławianie, c.d.]]
+[[SW_wykład_14_-_Slajd8|Dekompozycja]]
+[[SW_wykład_14_-_Slajd9|Wyzwanie]]