- 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. 2011/2012
- 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ę