Drukuj Eksport do pliku (MS Word)
Nazwa przedmiotu:
Zaawansowane metody inżynierii oprogramowania
Koordynator przedmiotu:
dr. inż. Włodzimierz Dąbrowski, wlodzimierz.dabrowski@ee.pw.edu.pl, tel. +48222347075
Status przedmiotu:
Obowiązkowy
Poziom kształcenia:
Studia II stopnia
Program:
Informatyka
Grupa przedmiotów:
Wspólne
Kod przedmiotu:
Semestr nominalny:
1 / rok ak. 2009/2010
Liczba punktów ECTS:
4
Liczba godzin pracy studenta związanych z osiągnięciem efektów uczenia się:
Liczba punktów ECTS na zajęciach wymagających bezpośredniego udziału nauczycieli akademickich:
Język prowadzenia zajęć:
polski
Liczba punktów ECTS, którą student uzyskuje w ramach zajęć o charakterze praktycznym:
Formy zajęć i ich wymiar w semestrze:
  • Wykład15h
  • Ćwiczenia0h
  • Laboratorium0h
  • Projekt30h
  • Lekcje komputerowe0h
Wymagania wstępne:
Wiadomości z inżynierii oprogramowania, inzynierii wymagań programowania obiektowego, algorytmów i struktur danych
Limit liczby studentów:
Cel przedmiotu:
Po zajęciach student będzie rozumiał model jakości oporamowania oraz będzie umiał zastosować wybrane metryki oporgramowania w rzeczywistym projkecie, będzie tez orientował się w podstawowych problemach metod formalnych i ich zastoswaniu w inzyneirii programowania
Treści kształcenia:
Wybrane metody wymiarowania i szacowania oprogramowania, metoda UCP, FP, elementy teorii pomiarów w IO, metrykiw inżynierii oporgramowania, model jakości IEEE i ISO, ocena jakośći oporgramowania, metryki i modele złożoności, informacja o metodach formalnych w inżynierii oporgramowania i automatycznej weryfikacji kodu
Metody oceny:
zaliczenie: średnia ważona z wykładu i projektu z wagami: wykład 0,5 ; projekt 0,5.
Egzamin:
Literatura:
1. Kan., Metryki i modele w inżynierii jakości oprogramownia; 2. Katoesn, Larsen , Principles of Model Checking , MIT Press
Witryna www przedmiotu:
Uwagi:

Efekty uczenia się