Informacje ogólne

Program

• Modele budowy i ewolucji oprogramowania: liniowy, spiralny, prototypowy, transformacyjny, stopniowego dojrzewania. Pojęcie procesu i projektu (budowy) oprogramowania.
• Analiza wymagań i specyfikacja oprogramowania. Specyfikacje funkcjonalne i nie-funkcjonalne, formalne i nieformalne. Różne podejścia do specyfikacji formalnych.
• Metody projektowania architektonicznego: warstwowe, przepływu danych, obiektowo-zorientowane. Narzędzia wspomagające.
• Decyzje dotyczące programowania, w tym wybór języka, środowiska i odpowiednich narzędzi. Konstrukcje bezpiecznego programowania.
• Walidacja i weryfikacja. Metody testowania: nieprzezroczyste i funkcjonalne, przezroczyste i strukturalne. Metody dowodzenia: algorytmiczne i dedukcyjne, binarne i probabilistyczne.
• Zarządzanie projektami: planowanie, analiza ryzyka, zmiany, rekonstrukcja, budowa zespołu, standardy, modele estymacji kosztów, metryki oprogramowania, metody zapewnienia jakości.
• Zarządzanie konfiguracjami i kontrola wersji.
  

Sposób zaliczenia

W ramach laboratorium, uczestnik - być może pracując zespołowo - rozwiązuje zadania i odpowiedzi przesyła na wskazany adres do wskazanego dnia.Przesyłanie służy celom archiwizacyjnym i kontroli terminu złożenia.
Podstawą uznania rozwiązania jest jednak jego osobiste omownie przez uczestnika.Za każde omówione ćwiczenie uczestnik może utrzymać 5 punktów, za rozwiązania częściowe bądź spóźnione - mniej
Ocena z ćwiczeń zależy od sumy otrzymanych punktów, ogólne kryteria to:
• bdb - 70+ % punktów
• db - 60+ % punktów
• dst - 50+ % punktów
  Egzamin: brak.

Literatura

• A. Jaszkiewicz - Inżynieria oprogramowania, Helion 1997.
• I. Sommerville - Software engineering, Addison Wesley 2000.
• R. S. Pressman - Software engineering: a practitioner's approach, McGraw-Hill 2001.
• B. Hughes and M. Cotterell - Software project management, McGraw-Hill 1999.