Sorry, no abstract in English (i brak polskich znakow)
Seminarium magisterskie:
SEMANTYKA I SPECYFIKACJA
Termin: moze znow ruszy w roku 2009/10
Ostatnio seminarium bywalo zawieszone, opis ponizej tez nie do konca
oddaje nasze ewentualne plany na to seminarium.
W ramach tego seminarium chcemy przedstawiac ogolnie rozumiana
problematyke opisu i systematycznego konstruowania oprogramowania. W
szczegolnosci chcemy, by prace seminarium w roznych okresach
dotyczyly:
-
formalnej semantyki jezykow oprogramowania, w tym semantyki
denotacyjnej i strukturalnej semantyki operacyjnej,
-
logik dla dowodzenia wlasnosci programow, w tym logiki Hoare'a i
jej rozszerzen,
-
specyfikacji systemow i modulow oprogramowania, w tym specyfikacji
algebraicznych i metod opartych o budowanie modeli abstrakcyjnych,
-
formalnego opisu i metod systematycznego konstruowania modularnego
oprogramowania.
We wszystkich tych dziedzinach chcemy przedstawiac zarowno ich
podstawy teoretyczne i zwiazane z nimi matematyczne problemy logiki,
algebry ogolnej i teorii kategorii, jak i ich praktyczne aspekty:
metody i systemy konstruowania opisow i formalnych definicji jezykow
programowania, specyfikacji modulow, systematycznego konstruowania i
weryfikacji programow, itp., wraz z przykladami ich zastosowan i
wynikajacymi w nich praktycznymi problemami. Mamy nadzieje, ze uda nam
sie zilustrowac wzajemne powiazania praktyki i teorii w tej dziedzinie.
W ramach prac seminarium bedzie mozliwe przygotowywanie prac
magisterskich (i doktorskich) dotyczacych wciaz licznych w tej
dziedzinie podstawowych problemow teoretycznych, przykladowych
nietrywialnych zastosowan omawianych metod i prac implementacyjnych
zmierzajacych do budowania eksperymentalnych systemow wspomagania
takich zastosowan.
AT