Spis referatow na seminarium "Semantyka i specyfikacja"
semestr I roku 98/99
Kilka najblizszych tygodni poswieconych bedzie prezentacjom przykladowych specyfikacji typowych struktur danych:
14.10.1998:
Bool, int, nat, ...
(Mikolaj Konarski)
21.10.1998:
Zbiory, multizbiory
(Bartosz Klin)
28.10.1998:
Listy
(Maja Krolikowska)
4.11.1998:
Grafy
(Grzegorz Jakacki)
18.11.1998:
Kolejki
(Jolanta Antoszewska)
25.11.1998:
Slowniki
(Kinga Izdebska)
2.12.1998:
Drzewa
(Piotr Hoffman)
a nastepnie przez pewien czas bedziemy omawiac jezyk specyfikacji CASL,
tworzony w ramach projektu
CoFI
(Common Framework Initiative):
9.12.98:
Specyfikacje podstawowe
(Grzegorz Jakacki)
16.12.98:
Podrodzaje
(Maja Krolikowska)
6.01.98:
Typy danych + osiagalnosc (ang. generation constraints)
(Kinga Izdebska)
13.01.99:
Specyfikacje strukturalne
(Jolanta Antoszewska)
Specyfikacje sparametryzowane
(Bartosz Klin)
20.01.99:
Specyfikacje architekturalne
(Piotr Hoffman)
semestr II roku 98/99
17.02.99:
Biblioteki
(Mikolaj Konarski)
w trakcie kolejnych kilku spotkan bedziemy jeszcze raz prezentowac przykladowe specyfikacje,
tym razem zapisane w jezyku CASL
24.02.99:
Bool, int, nat, ...
(Mikolaj Konarski)
3.03.99:
Czego nie wiemy o jezyku CASL -- odpowiedzi na pytania, wyjasnienie watpliwosci
(Andrzej Tarlecki)
Specyfikacje architekturalne
(Andrzej Tarlecki)
10.03.99:
Specyfikacje architekturalne c.d.
(Andrzej Tarlecki)
17.03.99:
Zbiory, multizbiory
(Bartosz Klin)
Listy
(Maja Krolikowska)
24.03.99:
Grafy
(Grzegorz Jakacki)
31.03.99:
Drzewa
(Piotr Hoffman)
14.04.99: seminarium odwolane
21.04.99: seminarium odwolane
28.04.99:
Strukturalizacja semantyki denotacyjnej za pomoca monad (praca magisterska)
(Grzegorz Jakacki)
5.05.99:
praca magisterska
(Maja Krolikowska)
12.05.99:
Wstęp do teorii instytucji
(Piotr Hoffman)
19.05.99:
Wstęp do teorii instytucji (c.d.)
(Bartosz Klin)