INDEX
Obiekty są wydajnym narzędziem programowania.
Programowanie obiektowe umożliwia realizację wszelkich innych metod programowania. Programowanie funkcyjne, programowanie poprzez reguły etc. dają się w naturalny sposób wyinterpretować w technologii obiektów.
Programowanie obiektowe moze i powinno wykorzystywac rachunek formalny programowania: logike algorytmiczna. Tworzenie klas powinno się rozpoczynać od ich specyfikacji, a te nie są niczym innym niż teoriami algorytmicznymi.[zob. AL ]
Twierdzimy, ze po wysluchaniu tego wykladu zdolny student potrafi zaadoptowac sie do pracy z kazdym jezykiem programowania obiektowego w ciagu paru dni.
Nr | Temat | Data | Materiały
niektóre z tych notatek sporządzili studenci, którym
jestem za
to wdzięczny. |
1 | Moduły programu vs. jednostki dynamiczne czasu wykonywania programu. | 8 Paź 01 | |
2 | Klasy i obiekty | 15 Paź 01 | |
3 | Klasy i obiekty cd. | 22 Paź 01 | |
4 | Specyfikacje Specyfikacje struktur danych |
29 Paź 01 | wyklad4 |
5 | Specyfikacje struktur danych | 5 Lis 01 | |
6 | Dziedziczenie Reguła konkatenacji klas I |
12 Lis 01 | |
lp. | data | Temat wykladu | Materia?y | Uwagi |
1 | 1-03 | Wspó?programy. Skladnia. Operacje: attach i detach. Scenariusz wspólprogramu. Przyklady |
coroutinesI.html
coroutines.sdd coroutines.doc |
|
2 | 8-03 | Wspólprogramy II Pojecie lancucha dynamicznego. Procedury rekurencyjne wspólpracuja z coroutinami. Przyklad scalanie drzew binarnych poszukiwa?. |
coroutinesII.html
coroutinesII.sdd merge.log |
|
3 | 15-03 | Wspólprogramy III Dowód poprawnosci programu z hierarchia wspólprogramów dziedziczacych z wspólprogramu: wyrazenie regularne - regexp przez indukcje wzgledem hierarchii. |
coroutinesIII.html
coroutinesIII.sdd treegen.log |
|
4 | 22-03 | Sygnaly i sytuacje wyjatkowe oraz ich obsluga. | ||
5 | 29-03 | Programowanie kontraktowe. Dynamiczna
weryfikacjawarunków poczatkowych i koncowych dla procedur przy
zastosowaniu sygnalówi dziedziczenia. Uwagi o weryfikacji statycznej. O dynamicznej weryfikacji klas. Sygnaly w Javie, C++ i Adzie. Sygnaly predefiniowane w Loglanie. |
||
6 | 3-04 | Typy jako parametry modulu. | ||
7 | 12-04 | O dynamicznym i statycznym wiazaniu wystaoien aplikacyjnych i deklaracji. Loglan i Java | javaLog.sdd
javaLog.html javalog.ppt chartres.log chartre2.log kolorbind.html semistatic.html |
Jak przygotowac dokumentacje