TY  - BOOK
AU  - Giebas, Adam
AU  - Bocewicz,Grzegorz
AU  - Wojszczyk,Rafał
AU  - Patalas-Maliszewska,Justyna
AU  - Jóźwiak,Ireneusz
ED  - Wydział Elektroniki i Informatyki (Politechnika Koszalińska)
TI  - Metoda wykrywania konfliktów zasobowych w aplikacjach wielowątkowych: rozprawa doktorska 
PY  - 2022///
CY  - Koszalin
PB  - [s.n.]
KW  - C (język programowania)
KW  - Programy komputerowe
KW  - Weryfikacja oprogramowania
KW  - Błąd (informatyka)
KW  - Kod źródłowy
KW  - Rozprawa doktorska
KW  - Informatyka i technologie informacyjne
N1  - Druk dwustronny; Rozprawa doktorska. Politechnika Koszalińska. 2022; Bibliografia na stronach 123-130; Dostępne online na zasadzie licencji Creative Commons wersja CC BY-SA 4.0
N2  - W dysertacji przedstawiono problem lokalizacji błędów w aplikacjach wielowątkowych. Przegląd literatury tematu pozwolił doprecyzować założenia, składające się na podstawy modelu kodu źródłowego i warunki wykrywania błędów. Umożliwiło
to opracowanie metody, jej zaimplementowanie w prototypowym narzędziu i przeprowadzenie eksperymentów w celu weryfikacji opracowanej metody
UR  - http://koha.tu.koszalin.pl/cgi-bin/koha/opac-detail.pl?biblionumber=92123
UR  - http://dlibra.tu.koszalin.pl/dlibra/docmetadata?id=1538
ER  -