Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Inżynieria oprogramowania

Opis

Podstawowe i praktyczne aspekty inżynierii oprogramowania. Tematy badań to funkcyjne i obiektowe języki programowania, programowanie w logice, systemy operacyjne, systemy czasu rzeczywistego, metodologie rozwijania oprogramowania, formalna dokumentacja i specyfikacja, weryfikacja oprogramowania.

Seminaria

Pracownicy i doktoranci

  • Programowanie funkcyjne i obiektowe, jakość kodu, Java
  • Sieci komputerowe, bezpieczeństwo, programowanie WWW
  • Metodologia programowania, specyfikacja i weryfikacja oprogramowania, paradygmaty programowania, programowanie obiektowe
  • Automatyczne dowodzenie twierdzeń
  • Programowanie obiektowe, formalna specyfikacja i weryfikacja oprogramowania
  • Specyfikacja i weryfikacja systemów czasu rzeczywistego, weryfikacja modelowa systemów zależnych od czasu
  • Programowania funkcyjne, reprezentacja wiedzy
  • Specyfikacje w metodzie tropów, metody dokumentacji i specyfikacji formalnej
  • Programowanie w logice, specyfikacja i weryfikacja programów w logice
  • Systemy operacyjne, systemy rozproszone, programowanie współbieżne, ocena wydajności, inżynieria oprogramowania (metody formalnej dokumentacji i specyfikacji, prowadzenie projektów informatycznych)
  • Programowanie w logice, logiki multimodalne
  • Programowanie funkcyjne i obiektowe, jakość kodu, Java
  • Matematyczne podstawy inżynierii oprogramowania
  • Projektowanie i implementacja języków programowania, programowanie obiektowe