1. Modele cyklu życia oprogramowania. -Problemy. -Odwołania. - 2. Koncepcje i modelowanie zorientowane obiektowo. - 2. 1. Podstawowe pojęcia paradygmatu obiektowego. - 2. 2. Modelowanie obiektowe. - 2. 3. Zaawansowane modele obiektowe. -Problemy. -Odwołania. - 3. Specyfikacja formalna i weryfikacja. - 3. 1. Logika pierwszego rzędu. - 3. 2. Logika i baza danych. - 3. 3. Specyfikacja formalna w Z. - 3. 4. Obiektowy system logiczny. - 3. 5. Specyfikacje algebraiczne. - 3. 6. Sieci Petriego. - 3. 7. Weryfikacja specyfikacji. - 3. 8. Uwagi końcowe. -Problemy. -Odwołania. - 4. Metodologie i specyfikacje projektowe. - 4. 1. Koncepcje projektowe. - 4. 2. Języki opisu procesów i metodologie projektowania. - 4. 3. Modelowanie dynamiczne i funkcjonalne. - 4. 4. Metodyki projektowania obiektowego. - 4. 5. Weryfikacja projektu i narzędzia CASE. -Problemy. -Odwołania. - 5. Programowanie i kodowanie. - 5. 1. Obiektowe języki programowania. - 5. 2. Język C++. - 5. 3. SMALLTALK. - 5. 4. Rozproszone języki programowania. - 5. 5. Komunikowanie procesów sekwencyjnych i OCCAM. -Problemy. -Odwołania. - 6. Narzędzia do programowania. - 6. 1. Programowanie obiektowe dla systemu Windows. - 6. 2. Interaktywne środowisko programistyczne IDEAn. - 6. 3. Programowanie X-Window. - 6. 4. Programowanie sieciowe UNIX. -Problemy. -Odwołania. - 7. Programowanie deklaratywne. - 7. 1. Programowanie na bardzo wysokim poziomie. - 7. 2. Programowanie deklaratywne zorientowane obiektowo. - 7. 3. Programowanie logicznePROLOG. - 7. 4. COMPOSEAn Środowisko programowania obiektowego. -Problemy. -Odwołania. - 8. Automatyczna synteza i ponowne wykorzystanie programu. - 8. 1. Dedukcyjna synteza programu. - 8. 2. Synteza programu transformacyjnego. - 8. 3. Abstrakcja programu i tworzenie instancji. - 8. 4. Automatyczne ponowne użycie oprogramowania. -Problemy. -Odwołania. - 9. Weryfikacja i testowanie programu. - 9. 1. Formalna weryfikacja programu. - 9. 2. Testowanie czarnoskrzynkowe. - 9. 3. Badania strukturalne. -9. 4. Testowanie oparte na błędach. - 9. 5. Automatyczne generowanie przypadków testowych. - 9. 6. Testowanie i debugowanie programów rozproszonych. - 9. 7. Narzędzia analityczne i wskaźniki oprogramowania. -Problemy. -Odwołania. - 10. Konserwacja oprogramowania. - 10. 1. Elementy składowe Konserwacji Oprogramowania. - 10. 2. Utrzymanie baz danych i oprogramowania. - 10. 3. Programowanie baz obiektowych. - 10. 4. Zarządzanie programami. - 10. 5. Inżynieria odwrotna i odzyskiwanie projektu. -Problemy. -Odwołania. - 11. Zaawansowane środowiska programistyczne. - 11. 1. Środowiska programistyczne oparte na wiedzy. - 11. 2. Wizualne środowiska programowania. - 11. 3. Rozproszone systemy programowania obiektowego. - 11. 4. Oprogramowanie składowe. - 11. 5. Środowiska programistyczne dla inżynierii współbieżnej. -Odwołania. - 12. Inne wybrane tematy. - 12. 1. Zarządzanie projektami. - 12. 2. Konstrukcja systemu odporna na awarie. - 12. 3. Symulacja zdarzeń dyskretnych. - 12. 4. Programowanie internetowe. -Odwołania. Język: angielski