Sprawozdanie z działalności sekcji PTI:
Formalnych metod inżynierii oprogramowania i
Języków informacyjno–logicznych
Sekcja formalnych metod inżynierii oprogramowania
Przewodniczący: Andrzej Blikle
Zakres działalności: formalne metody inżynierii oprogramowania i ich teoria, metoda denotacyjna, Vienna Development Method.
Formy działalności:
(a) comiesięczne spotkania seminaryjne;
(b) udostępnianie trudnej do pozyskania literatury naukowej dotyczącej tematyki prac sekcji.
Liczba uczestników prac sekcji: średnio 30 osób, w tym 10 członków PTI.
Informacje o działalności sekcji publikowano w Biuletynie PTI 1984, nr 3, 7–8 i 11–12 oraz 1985, nr 5–6.
Sekcja języków informacyjno–logicznych
Zarząd Sekcji: Roman Matuszewski, Piotr Rudnicki, Andrzej Trybulec.
Zakres działalności: język informatycznej formalizacji matematyki, jego implementacja i zastosowanie.
Formy działalności:
(a) cotygodniowe spotkania seminaryjne;
(b) opracowywanie podręczników, publikacji oraz inne formy upowszechnienia informacji na temat języka Mizar;
(c) kontakty z uczelniami zagranicznymi (USA, Belgia, Holandia).
Liczba uczestników prac sekcji: ok. 10 osób (członkowie PTI — pracownicy Filii UW w Białymstoku).
Informacje o działalności sekcji publikowano w Biuletynie PTI 1984, nr 3 i 9–10.
Jacek Irlik
