metody Specyfikacji
III rok Zawodowych Studiow Informatyki
semestr zimowy roku akademickiego 2001/02
Egzaminy z lat ubiegłych są tutaj
Na
tej stronie znajdziesz informacje i materialy dotyczace wykladu z Metod
Specyfikacji dla III roku ZSI
na Wydziale Matematyki, Informatyki i
Mechaniki Uniwersytetu Warszawskiego
.
Prowadzacy zajecia:
Marcin Engel (email: mengel@mimuw.edu.pl)
Wyklad: wtorek 17:00 - 18:30, sala 3130
Konsultacje: wtorek 8:30 - 10:00, p. 4200, sroda 18:30 - 19:30
Poczatek
Notatki z wykladow
Uwaga. Tutaj
znajduje sie w miare kompletna (choc nie uporzadkowana)
paczka z materialami z wykladow w postaci spakowanego zestawu osmiu
plikow w formacie pdf. Te materialy to tak naprawde nadzbior
tematyki poruszanej na wykladzie --- kto chodzil wie czego sie uczyc :-).
Nic wiecej juz nie bedzie.
Wybierajac (niektore) pozycje z ponizszej listy uzyskasz dostep do slajdow z wykladow
w postaci zbioru postcriptowego po 6 slajdow na strone. Mozesz tez
obejrzec (niektore) slajdy bezposrednio na WWW.
-
Wyklad 1. (3.10.) Wprowadzenie.
-
Wyklad 2. (10.10.) Logika I rzedu. Rachunek sekwentow Gentzena.
-
Cwiczenia 1. (17.10.) Logika I rzedu, rachunek sekwentow Gentzena.
-
Wyklad 3. (24.10.) Jezyk specyfikacji PVS. Automatyczne dowodzenie
twierdzen.
-
Cwiczenia 2. (31.10.) Jezyk PVS i dowodzenie twierdzen.
-
Wyklad 4. (7.11.) Logika Hoare'a, dowodzenie czesciowej poprawnosci
programow.
-
Wyklad 5. (14.11.) Logika Hoare'a, dowodzenie czesciowej poprawnosci programow.
-
Cwiczenia 3. (21.11.) Logika Hoare'a.
-
Wyklad 6. (28.11.) Jezyk Z - podstawowe elementy jezyka.
-
Wyklad 7. (5.12.) Jezyk Z - operacje na schematach.
-
Cwiczenia 4. (2.01.) Specyfikacje w jezyku Z.
-
Wyklad 8. (9.01.) Jezyk specyfikacji dla systemow rozproszonych
- Estelle.
-
Wyklad 9. (16.01.) EDT - narzedzia wspomagajace Estelle.
-
Cwiczenia 5. (23.01.) Specyfikacje w Estelle.
-
Wyklad 10. (30.01.) Podsumowanie.
-
Postscript 6 slajdow na stronie
-
Bezposrednio z sieci
Poczatek
Egzamin w roku akademickim 2000/01
Poczatek
Egzaminy z ubieglych lat
Poczatek
Metody Specyfikacji w Internecie
Poczatek
(C) Marcin Engel, 5 pazdziernika 1998
mengel@mimuw.edu.pl