Semantyka i metody formalne

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.

Pracownicy i doktoranci

• dr Jacek Chrząszcz

  Formalna weryfikacja oprogramowania, kod zawierający dowód

• dr Janusz Jabłonowski

  Programowanie obiektowe, formalna specyfikacja i weryfikacja oprogramowania

• prof. dr hab. Sławomir Lasota

  Algebry procesów, weryfikacja formalna

• dr hab. Aleksy Schubert, prof. UW

  Formalna specyfikacja oprogramowania, kod zawierający dowód

• dr Jacek Sroka

  Formalne metody specyfikacji i weryfikacji przepływów danych

• prof. dr hab. Andrzej Tarlecki

  Specyfikacja, projektowanie i rozwijanie oprogramowania, semantyka, język specyfikacji CASL

• dr Daria Walukiewicz-Chrząszcz

  Formalna weryfikacja oprogramowania, kod zawierający dowód