Drukuj Eksport do pliku (MS Word)
Nazwa przedmiotu:
Kontrola i weryfikacja systemów informatycznych
Koordynator przedmiotu:
dr. inż. Włodzimierz Dąbrowski, w.dabrowski@adres, wlodzimierz.dabrowski@ee.pw.edu.pl, tel. +48222347075
Status przedmiotu:
Fakultatywny ograniczonego wyboru
Poziom kształcenia:
Studia II stopnia
Program:
Informatyka
Grupa przedmiotów:
Wspólne
Kod przedmiotu:
Semestr nominalny:
2 / rok ak. 2009/2010
Liczba punktów ECTS:
2
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
  • Projekt15h
  • 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 studnet będzie rozumiał podstawy metod formalnych opratych na logice matematycznej stosowanych w modleowaniu i weryfikacji systemów informatycznych
Treści kształcenia:
Wybrane problemy metalogiczne, rachunek predykatów, pojęcie algebry procesowej i jej zastosowań w modelowaniu systemów informatycznych, procesy sekwencyjne i równoległe, silna i słaba równoważność systemów, modelowanie protokołów komunikacyjnych w algebrach procesowych, metody automatycnzej weryfikacji systemów metodami formalnymi
Metody oceny:
średnia ważona z wykładu i projektu z wagami: wykład 0,5 ; projekt 0,5.
Egzamin:
Literatura:
1. W. Ostatsiewicz, Logika dla informatyków; WUE 2008, 2. Katoesn, Larsen , Principles of Model Checking , MIT Press
Witryna www przedmiotu:
Uwagi:

Efekty uczenia się