Nie jesteś zalogowany |
Powrót do listy grantów
Abstrakcyjna teoria specyfikacji i jej zastosowania
- Kierownik
- prof. dr hab. Andrzej Tarlecki
- Numer umowy
- 7 T11C 002 21
- Data rozpoczęcia
- 1 sierpnia 2001
- Data zakończenia
- 31 lipca 2004
- Finansowany przez
- Komitet Badań Naukowych
- Wykonawcy
- prof. dr hab. Andrzej Tarlecki, dr Sławomir Lasota, dr Wiesław Pawłowski, dr Tomasz Borzyszkowski, mgr Piotr Hoffman
- Słowa kluczowe
- specyfikacja; poprawność oprogramowania; weryfikacja i konstruowanie oprogramowania; behawioralna semantyka; instytucje; CASL
