Z prac sekcji PTI
Sekcja formalnych metod inżynierii oprogramowania
Po przerwie wakacyjnej członkowie sekcji zebrali się na posiedzeniach w dniach 20 października i 17 listopada. Tematem tych spotkań były referaty A. Bliklego: Denotacyjny model mechanizmu skoków w językach programowania i Denotacyjny model dla procedur.
Ustalono również terminy i tematy spotkań na najbliższe miesiące:
15 grudnia 1984 A. Blikle: Algebraiczny model typów danych
12 stycznia 1985 A. Blikle: Wprowadzenie do semantyki algebraicznej
16 lutego 1985 A. Blikle: Praktyczne wnioski płynące z semantyki algebraicznej
Przypominamy: wszystkie spotkania odbywają się w Warszawie, Pałac Kultury i Nauki, sala 1044, godz. 1100–1500. Zapytania dotyczące pracy sekcji prosimy kierować do niżej podpisanego pod adresem: Instytut Informatyki PAN, Pałac Kultury i Nauki, 00-901 Warszawa, skr. poczt. 22, tel. 20-38-88 lub 25-48-41 (dom).
Tematy referatów w styczniu i lutym mogą ulec zmianie, jeśli członkowie sekcji zgłoszą inne propozycje. W szczególności mile byłyby widziane referaty przedstawiające wyniki eksperymentalnych zastosowań metody VDM przez naszych członków.
W kronice sekcji z radością odnotowano fakt zapoczątkowania przez Koło PTI we Wrocławiu cotygodniowego seminarium szkoleniowego na temat metody VDM. (Dokładniejsze informacje: przewodniczący koła kol. Z. Mazur, pl. Grunwaldzki 9, budynek D-2, pok. 15, 50-370 Wrocław, tel. 20-36-02).
Andrzej Blikle