Z prac sekcji PTI
Sprawozdanie z działalności Sekcji formalnych metod inżynierii oprogramowania
(za okres od 15 września 1985 do 26 listopada 1986)
Od pierwszego spotkania sekcji w dniu 3 grudnia 1983 tematyka wszystkich spotkań dotyczyła semantyki denotacyjnej oraz jej zastosowań w inżynierii oprogramowania. Początkowo A. Blikle wygłosił serię wykładów wprowadzających uczestników sekcji do tej tematyki. Później spotkania nabrały charakteru bardziej seminaryjnego. Z referatami występowali członkowie sekcji oraz zaproszeni wykładowcy. Na jesieni 1985 otrzymaliśmy wiele nowych zgłoszeń do sekcji. Aby umożliwić nowo wstępującym członkom szybkie zapoznanie się z przedmiotem prac sekcji, uruchomiono na pewien czas Grupę Juniorów, dla której A. Blikle powtórzył (w skondensowanej postaci) swoje wykłady. Istniejącą grupę członków sekcji nazwano tymczasowo Grupą Seniorów. W okresie sprawozdawczym odbyły się:
— 4 spotkania Grupy Juniorów z uczestnictwem 13 do 22 członków i 10 do 16 gości;
— 4 spotkania Grupy Seniorów z uczestnictwem 6 do 8 członków i do 14 gości;
— 2 spotkania połączonych grup z uczestnictwem 13 do 15 członków i 10 do 11 gości.
Z dniem pierwszego połączonego spotkania obu grup podział na te grupy przestał w sekcji obowiązywać. Wszystkie spotkania odbywały się w soboty w godz. 1000–1400, na ogół raz w miesiącu.
Ponadto odbyły się dwa spotkania specjalne z uczestnictwem zaproszonych wykładowców zagranicznych: prof. D. Bjornera z Politechniki Duńskiej w Lyngby (12 listopada 1985) oraz prof. C. B. Jonesa z Uniwersytetu w Manchester (10 listopada 1986). Obaj oni wygłosili wykłady poświęcone metodzie VDM tworzenia oprogramowania. W obu wypadkach goście nasi byli również wykładowcami Jesiennych Szkół PTI. Frekwencja na obu tych wykładach wynosiła ok. 70 osób.
Wszelkie zapytania dotyczące bieżących prac sekcji należy kierować pod adresem
Andrzej Blikle
Instytut Podstaw Informatyki PAN
PKiN, skr. poczt. 22, 00-901 Warszawa
tel. 20-38-88, tel. dom. 25-48-41
Przewodniczący sekcji
Andrzej Blikle
