Piotr Dembiński
Instytut Podstaw Informatyki
Polska Akademia Nauk, Warszawa
Elementy inżynierii oprogramowania
w projektowaniu systemów telekomunikacyjnych
Praca niniejsza szkicuje rolę i zaawansowanie prac nad metodami i narzędziami wspomagającymi projektowanie i implementację protokołów komunikacyjnych. Jest też próbą wyjaśnienia miejsca metod formalnych w tej dziedzinie zastosowań.