Sekcja formalnych metod inżynierii oprogramowania
Dnia 9 czerwca br. odbyło się ostatnie przed przerwą wakacyjną spotkanie sekcji. Następne spotkanie zaplanowano na dzień 20 października (sobota) w godz. 1100–1500 w Pałacu Kultury i Nauki w Warszawie, sala 1044. Zapraszamy na nie wszystkich zainteresowanych — również te osoby, które jeszcze nie wstąpiły do PTI. Spotkania sekcji formalnych metod inżynierii oprogramowania odbywają się raz w miesiącu w soboty: zawsze w tym samym miejscu i o tej samej godzinie. Daty spotkań są ustalane sukcesywnie. O terminach i tematyce spotkań można się dowiedzieć dzwoniąc do niżej podpisanego — tel. 20-38-88 (instytut) lub 25-48-41 (dom).
Adres do korespondencji: Instytut Podstaw Informatyki PAN, skr. poczt. 22, 00-901 Warszawa, Pałac Kultury i Nauki.
Od pierwszego założycielskiego spotkania w dniu 3 grudnia 1983 odbyło się do chwili obecnej dalszych sześć spotkań. Wszystkie, z wyjątkiem ostatniego, były poświęcone nowej metodzie wiedeńskiej (VDM) definiowania i projektowania oprogramowania oraz związanej z nią teorii semantyki denotacyjnej. Na ostatnim spotkaniu mgr A. Ziemkiewicz omówił system Gandalf wspomagający pracę projektanta systemów oprogramowania:
W nowym roku akademickim zamierzamy w zasadzie kontynuować dotychczasową tematykę, jeżeli oczywiście członkowie sekcji nie wystąpią z innymi propozycjami.
Jedną z form działalności sekcji formalnych metod inżynierii oprogramowania było rozpowszechnianie wśród jej członków materiałów naukowych. Do chwili obecnej udostępniono następujące pozycje:
A. Blikle: Prosty przykład denotacyjnej definicji języka programowania (maszynopis w języku angielskim).
A. Blikle: Notes on the mathematical semantics of programming languages. ICS PAS Reports, August 1981, No. 445.
A. Blikle, A. Terlecki: Naive denotational semantics. ICS PAS Reports, March 1983, No. 500.
M. J. C. Gordon: Denotacyjny opis języków programowania. Warszawa, WNT 1983.
A. Blikle: Can command languages be given a comprehensive description, 1981 (maszynopis).
Niewielka liczba niektórych z tych pozycji jest jeszcze dostępna dla osób wstępujących do sekcji.
Życzymy wszystkim udanych wakacji i zapraszamy w październiku.
Andrzej Blikle
