Opis
Metody opisu semantycznego, formalnej specyfikacji i systematycznego rozwijania
oprogramowania, oraz matematyczne podstawy takich metod.
Tematy badań to algebry procesów, programowanie obiektowe,
specyfikacja wymagań, specyfikacja architekturalna,
rozwijanie i weryfikacja oprogramowania, oraz zaawansowane metody
matematyczne, oparte na algebrze, teorii koalgebr, teorii kategorii i logice.
Seminaria
Dowiązania