Seminarium poświęcone szeroko rozumianej niezawodności systemów
komputerowych i metodom jej zapewniania,
od praktycznych projektów weryfikacyjnych i narzędzi do modeli matematycznych i
zagadnień teoretycznych z nimi związanych.
Ogłoszenia
- 19 XI 2012: seminarium 21 XI odwołane
- 30 X 2012: prezentacja na temat seminarium: PDF
- 10 X 2012: dzisiejsze seminarium odwołane
Referaty w semestrze letnim 12/13
| Temat referatu
|
Osoba referująca
|
Przybliżony termin
|
Materiały
|
| Detecting Diverse Variants of Design Pattern
|
P. Węgrzynowicz
|
5 VI 2013
|
|
| o pracy magisterskiej
|
Z. Chlebicki
|
29 V 2013
|
|
| o pracy magisterskiej
|
M. Maciejewska
|
22 V 2013
|
|
| o pracy magisterskiej
|
P. Iwaniuk
|
8 V 2013
|
|
| Intuicjonistyczny model protokołu Needhama-Shroedera
|
P. Iwaniuk
|
20 III 2013
|
|
| Weryfikacja ograniczona programów w Javie
|
Z. Chlebicki
|
13 III 2013
|
|
| Twierdzenie Parikha w zbiorach z atomami
|
M. Maciejewska
|
6 III 2013
|
|
