Nie jesteś zalogowany |
Powrót do listy grantów
Metodyka i narzędzia wspomagające konstruowanie poprawnego oprogramowania
- Kierownik
- prof. dr hab. Jan Madey
- Numer umowy
- 8T11C 015 15
- Data rozpoczęcia
- 1 lipca 1998
- Data zakończenia
- 30 czerwca 2001
- Finansowany przez
- Komitet Badań Naukowych
- Wykonawcy
- dr hab.Jan Madey, prof. dr hab. Andrzej Tarlecki, dr Janina Mincer-Daszkiewicz, dr Kazimierz Grygiel, mgr Adam Bałaban, mgr Marcin Engel, mgr Agata Janowska, mgr Paweł Janowski, mgr Marcin Kubica, mgr Mirosława Miłkowska, mgr Krzysztof Stencel, Arkadiusz Biernat, Jan Czermiński, Erwin Dzienis, Grzegorz Jakacki, Leszek Kowalczyk, Artur Kret, Piotr Krysiuk, Albert Krzymowski, Grzegorz Marczyński, Michał Rembiszewski, Tomasz Śmigielski, Paweł Weżgowiec, Szymon Zioło
- Słowa kluczowe
- inżynieria oprogramowania; CASE; specyfikowanie, weryfikowanie i konstruowanie oprogramowania; walidacja specyfikacji; automatyczne dowodzenie twierdzeń; systemy rozproszone i protokoły
