Search
Filters
total: 131
Search results for: TEST ZGODNOŚCI
-
Generation of conformance test suites for parallel and distributed languages and APIS.
PublicationArtykuł zarysowuje nową metodologię systematycznego tworzenia Zestawów Testów Zgodności. Testowanie zgodności ma na celu sprawdzenie, czy implementacja jest zgodna ze swoją specyfikacją, co jest szczególnie ważne w środowiskach równoległych i rozproszonych, gdzie musi ze sobą współpracować wiele różnych pakietów. Autor rozpoczął swoje badania w dziedzinie testowania zgodności dla języka równoległego sterowanego danymi Athapascan,...
-
Generating reliable conformance test suites for parallel and distributed languages, libraries, and APIs.
PublicationArtykuł nakreśla nową metodykę dla tworzenia Zestawów Testów Zgodności (ZTG) dla języków, bibliotek i API programowania równoległego i rozproszonego. Autor rozpoczął swoje badania w zakresie testowania zgodności dla języka równoległego sterowanego danymi Athapascan, opracował metodykę dla projektowania i analizowania ZTG nazwaną Metodą Kolejnych Zawężeń (ang. Consecutive Confinements Methods - CoCoM), stworzył narzędzie CTS Designer,...
-
Vibration surveillance during ball end milling of curved flexible details, considering an assessment of assurance between analysis and test model
PublicationPraca dotyczy nadzorowania drgań podczas obróbki smukłym frezem kulistym przedmiotów podatnych o powierzchniach zakrzywionych. Przedstawiono analizę dynamiczną niestacjonarnego układu drgającego, w którym wyodrębniono podukłady: modalny, strukturalny i łączący. Dokonano oceny zgodności wyników obliczeń numerycznych z wynikami pomiarów na frezarce Mikron VCP 600.
-
Testing for conformance of parallel programming pattern languages
PublicationThis paper reports on the project being run by TUG and IMAG, aimed at reducing the volume of tests required to exercise parallel programming language compilers and libraries. The idea is to use the ISO STEP standard scheme for conformance testing of software products. A detailed example illustrating the ongoing work is presented.
-
Problem of inconsistent and contradictory judgements in pairwise comparisonmethod in sense of AHP
PublicationThe aim of this paper is to show the relationship between inconsistent and contradictory matrices of data obtained as a result of the pairwise comparison of factors in the sense of the Analytic Hierarchy Process. The consistency check is performed to ensure that judgements are neither random nor illogical. This paper shows that even if a matrix will pass a consistency test successfully, it can be contradictory. Moreover an algorithm...
-
Modelling hydraulic and capillary-driven two-phase fluid flow in unsaturated concretes at the meso-scale with a unique coupled DEM-CFD technique
PublicationThe goal of the research was to demonstrate the impact of thin porous interfacial transition zones (ITZs) between aggregates and cement matrix on fluid flow in unsaturated concrete caused by hydraulic/capillary pressure. To demonstrate this impact, a novel coupled approach to simulate the two-phase (water and moist air) flow of hydraulically and capillary-driven fluid in unsaturated concrete was developed. By merging the discrete...
-
Inconsistent i contradictory judgements in pairwise comparison method in AHP.
PublicationCelem artykułu jest pokazanie zależności pomiędzy niezgodnymi i sprzecznymi macierzami danych, otrzymywanymi w wyniku porównań parami niewielkiej, skończonej libzy wariantów decyzyjnych. W szczególności pokazuje się macierze, które mimo prawidłowego wyniku testu zgodności posiadają oceny sprzeczne. Przedstawia się algorytm sprawdzający zgodność ocen.
-
Conformance testing of parallel languages
PublicationPrzedstawiono propozycję formalizacji opisu procesu generacji, wykonania ioceny testów zgodności dla języków i bibliotek programowania równoległego, wzakresie zgodności funkcjonalnej i wydajnościowej. Przykłady ilustrujące proponowany formalizm wykorzystują platformę programowania Athapascan.
-
Badania pojazdów zabytkowych - wymagane dokumenty
PublicationBadanie, jakiemu poddawany jest pojazd w stacji kontroli pojazdów, kwalifikujące go do pojazdów zabytkowych nazywane jest "Badaniem co do zgodności z warunkami technicznymi pojazdów zabytkowych". Rozporządzenie określa zakres i sposób prowadzenia badań zgodności z warunkami technicznymi pojazdów zabytkowych.
-
Ocena stanu technicznego obiektów budowlanych Pomorskiej Kolei Metropolitarnej po ekstremalnym opadzie atmosferycznym w dniach 14 - 15 lipca 2016 r
PublicationOpinię wykonano w związku z powołaniem przez Marszałka Województwa Pomorskiego, Zespołu Ekspertów ds. analizy inwestycji Pomorskiej Kolei Metropolitarnej w kontekście stanu infrastruktury PKM po deszczu nawalnym w dniu 14/15.07.2016 r. Celem przeprowadzonych prac studialnych (uzupełnionych o wizje lokalne) była analiza udostępnionych dokumentacji pod kątem poprawności rozwiązań technicznych. Zakres prac: • Ocena zgodności dokumentacji...
-
Zastosowanie numerycznego modelu obiektu do oceny zgodności realizacji pro-jektu budowli gabionowej. W: Współczesna geodezja w rozwoju nauk techni- cznych, przyrodnicznych i ekonomicznych. Warszawa::SGGH**2003 s. 315-321, 3 rys. bibliogr. 6 poz.
PublicationW pracy przedstawiono sposoby badania oceny zgodności realizacji projektu budowli gabionowej. Zastosowano numeryczny model obiektu (NMO) i wyniki geodezyjnej inwentaryzacji powykonawczej (GIP) budowli gabionowej. Opracowano etapy badania oceny zgodności realizacji projektu. Opisano wewnętrzne i zewnętrzne błędy realizacji projektu. Na przykładzie muru oporowego wykonanego z gabionów dokonano wizualizacji wykrytych błędów realizacji...
-
Opinia dotycząca systemu nawierzchni torowej proponowanej przez wykonawcę odcinka centralnego II linii metra w Warszawie
PublicationOpinia dotyczy zgodności zaproponowanej konstrukcji nawierzchni z zapisami zawartymi w Programie Funkcjonalno-Użytkowym
-
Badania składu chemicznego materiału rury 323,90x12,70 mm
PublicationWykonano badania składu chemicznego materiału rury i dokonano oceny zgodności z atestem i normą.
-
Wdrażanie prawa unijnego
PublicationAutorka opisuje system oceny zgodności, któremu podlegają wszystkie wyroby znajdujące się na rynkach krajów unijnych.
-
Nieliniowa ekstrapolacja chwili zgodności fazowej napięć synchronizowanych obiektów elektroenergetycznych z wykorzystaniem funkcji wymiernej
PublicationPrzedstawiono metodę nieliniowej ekstrapolacji chwili zgodności fazowej napięć synchronizowanych obiektów elektroenergetycznych z wykorzystaniem funkcji wymiernej. Opisano dotychczas stosowane metody wyznaczania chwil koincydencji fazowej, wskazując na ich niedogodności. Zawarto opis algorytmu wyznaczania chwili zgodności fazowej wg proponowanej metody z wykorzystaniem funkcji wymiernej, ilustrując go przykładem. Zaprezentowano...
-
Nowe i Globalne Podejście do oceny zgodności- wdrażanie prawa UE do polskiego prawodawstwa
PublicationJednym z głównych celów Unii Europejskiej było utworzenie jednolitego, wewnętrznego rynku i wyeliminowanie wszelkich ograniczeń w handlu. Realizacja powyższego celu odbywa się w oparciu o zasady Nowego Podejścia do harmonizacji i normalizacji technicznej, będące gwarancją swobodnego przepływu towarów w UE, w którym uczestniczyłyby tylko produkty bezpieczne. Uzupełnieniem zasad Nowego Podejścia jest Globalne Podejście do oceny zgodności...
-
Showing compliance of probabilistic assessments with safety goals
PublicationW niektórych standardach formułuje się wymagania, że wyniki modelowania probabilistycznego i oszacowań ryzyka powinny zawierać ocenę niepewności. Modelowanie złożonych systemów bazuje w praktyce na kategoriach zdarzeń, które są mniej lub więcej rozmyte. Artykuł dotyczy kwestii wykazywania zgodności wyników modelowania probabilistycznego z ilościowymi kryteriami bezpieczeństwa. Proponuje się metodę definiowania takich kryteriów...
-
Sztywność obwodowa rurociągi - studzienki
PublicationZagadnienia sztywności obwodowej rur, złączy, rurociągów, studzienek rewizyjnych. Charakterystyczne problemy klasyfikacyjne, zagrożenia. Problem braku zgodności o rozwiązaniu systemowym.
-
EKSPERTYZA W ZAKRESIE POPRAWY DOSTĘPNOŚCI ZGODNIE Z ZARZĄDZENIEM PREZYDENTA MIASTA GDYNI Z DN. 17 MAJA 2013 W SPRAWIE PRZYJĘCIA STANDARDÓW DOSTĘPNOŚCI DLA MIASTA GDYNI dot.: inwestycji pn. Panorama Office – budynek usługowo-biurowy z garażem podziemnym wraz z projektem zagospodarowania terenu i infrastrukturą techniczną w Gdyni.
PublicationOcena dostępności do potrzeb osób z niepełnosprawnościami otoczenia budynku usługowo-biurowego Panorama Office i zgodności ze Standardami Dostępności
-
Badania pojazdów zabytkowych - sprawdzanie działania zespołów
PublicationBadanie co do zgodności z warunkami technicznymi pojazdów zabytkowych diagnosta podsumowuje przez przygotowanie dla wnioskodawcy dwóch zaświadczeń po przeprowadzonym badaniu. Zaświadczenia oraz część badania technicznego zostały opisane w nr. 9 i 10/2018 SM. W tym artykule przyjrzyjmy się ostatniemu etapowi badania co do zgodności z warunkami technicznymi pojazdu zabytkowego, a mianowicie: sprawdzeniu prawidłowości działania poszczególnych...
-
EKSPERTYZA W ZAKRESIE POPRAWY DOSTĘPNOŚCI ZGODNIE Z ZARZĄDZENIEM PREZYDENTA MIASTA GDYNI NR 10740/13/VI/U Z DN. 17 MAJA 2013 W SPRAWIE PRZYJĘCIA STANDARDÓW DOSTĘPNOŚCI DLA MIASTA GDYNI. Dotyczy: projektu węzła integracyjnego i publicznego parkingu związanego z obsługą drogową w Gdyni Chyloni.
PublicationOcena dostępności do potrzeb osób z niepełnosprawnościami projektu integracyjnego węzła komunikacyjnego w Gdyni Chyloni. Sprawdzenie zgodności z wytycznymi Standardów Dostępności.
-
EKSPERTYZA W ZAKRESIE POPRAWY DOSTĘPNOŚCI ZGODNIE Z ZARZĄDZENIEM PREZYDENTA MIASTA GDYNI Z DN. 17 MAJA 2013 W SPRAWIE PRZYJĘCIA STANDARDÓW DOSTĘPNOŚCI DLA MIASTA GDYNI. Dotyczy: Przebudowy ul. Zaruskiego i ul. Staniszewskiego w Gdyni
PublicationAudyt dostępności przebudowy ul. Zaruskiego i Staniszewskiego w Gdyni pod kątem zgodności z koncepcją projektowania uniwersalnego I Standardami Dostępności Miasta Gdyni
-
Kanalizacyjne studzienki rewizyjne z tworzyw zgodne z normą PN-EN13598
PublicationSzczególne cechy konstrukcyjno - wytrzymałościowe kanalizacyjnej studzienki z tworzyw. Klasyfikacja normowa. Charakterystyka gwarantowana przez producenta. Zasady znakowania wyrobów. Konsekwencje deklaracji zgodności z normą.
-
Budowa repozytorium trójwymiarowych póz postaci i metoda estymacji pozy na podstawie obserwacji 2D
PublicationW referacie przedstawiono metodykę badania algorytmów estymacji układu ciała człowieka w przestrzeni trójwymiarowej na podstawie pojedynczej obserwacji dwuwymiarowej - zdjęcia lub obrazu z kamery. Opisano sposób tworzenia danych odniesienia, zorganizowanych w formie bazy danych zsynchronizowanych nagrań wizyjnych oraz trójwymiarowych danych ruchu. W celu badania algorytmów estymacji pozy wykorzystano trójwymiarowy model ciała ludzkiego...
-
Europejskie nowe i globalne podejście. Nowe i globalne zasady logistyki HL w zakresie maszyn
PublicationPrzedstawiono zasady postępowania przy wytwarzaniu maszym, wymagane przez postanowienia określone przepisami Nowego Podejścia oraz Globalnego podejścia. Omówiono procedury oceny zgodności z dyrektywami i wystawienia deklaracji CE.
-
Dyrektywy WE - nowe elementy w praktyce inżynierskiej
PublicationPrzedstawiono Nowe Podejście oraz Globalne podejście Unii Europejskiej do bezpieczeństwa budowy i eksploatacji maszyn. Sposób edycji Deklaracji zgodności z dyrektywami oraz zagadnienie odpowiedzialności przedstawiono na przykładach.
-
Recenzja rocznika ''Przeglądu Spawalnictwa'' 2008
PublicationW recenzji przedstawiono główne treści rocznika 2008 ''Przeglądu Spawalnictwa'', uwagi na temat poziomu merytorycznego zamieszczonych artykułów, poziomu edytorskiego oraz zgodności z założeniami przyjetymi przez Radę Programową czasopisma.
-
Comparison the Accuracy of the Extrapolation Methods of the Time Phase Coincidence in Synchronization of Power Generating Units
PublicationW artykule opisano metody ekstrapolacji chwili zgodności fazowej napięć łączonych obiektów elektroenergetycznych. Przeprowadzono analizę porównawczą wybranych metod ekstrapolacji w równych warunkach pracy oraz przedstawiono najistotniejsze wyniki badań.
-
Mechanizm dostarczania usług w chmurze: roxzwiązanie NOR-STA
PublicationArtykuł prezentuje mechanizmy udostępniania w chmurze usług rozwijanych w ramach projektu NOR-STA. Są one ukierunkowane na wspomaganie procesów dochodzenia do zgodności i oceny zgodności z normami i standardami. W projekcie NOR-STA prowadzone są obecnie eksperymentalne badania wdrożeniowe we współpracy z partnerami z sektorów ochrony zdrowia i biznesu. Usługi NOR-STA są udostępniane zgodnie z modelem Software as a Service (SaaS)....
-
Przykład dokumentacji i procedur związanych z prawem zamówień publicznych
PublicationAktualizacja wymagań w stosunku do dokumentacji i procedur związanych z inwestycjami realizowanymi w trybie zamówień publicznych. Znaczenie elementu jakości oraz zgodności ze SIWZ. Praktyka orzeczeń KIO przy UZP.
-
Concurrence in arbitrary dimensions
PublicationPodano definicję kwantowej zgodności dla stanów dwucząstkowych w przypadku dowolnych skończonych wymiarów przestrzeni Hilberta. Wprowadzono także bi-zgodność, której znikanie stanowi warunek konieczny i dostateczny separowalności stanów dwucząstkowych.
-
EKSPERTYZA W ZAKRESIE POPRAWY DOSTĘPNOŚCI ZGODNIE Z ZARZĄDZENIEM Nr 10740/13/VI/U PREZYDENTA MIASTA GDYNI Z DN. 17 MAJA 2013 W SPRAWIE PRZYJĘCIA STANDARDÓW DOSTĘPNOŚCI DLA MIASTA GDYNI. Dotyczy: Rozbudowy ulicy Morskiej w Gdyni wraz z budową ciągu pieszo-rowerowego w ul. Podjazd.
PublicationOcena zgodności projektu przebudowy układu komunikacyjnego w obrębie Dworca Głównego w Gdyni wraz z budową kładki pieszo-rowerowej z koncepcją projektowania uniwersalnego i dostępnością przestrzeni do potrzeb osób z niepełnosprawnościami.
-
Eksternalizacja w binauralnej ambisonicznej auralizacji źródeł kierunkowych
PublicationW artykule przedstawiono najważniejsze składniki procesu skutecznego renderowania trójwymiarowego obrazu dźwiękowego za pomocą słuchawek. W tym celu badany jest stopień oddziaływania poszczególnych czynników wpływających na eksternalizację dźwięku: śledzenie położenia głowy (ang. head tracking), indywidualne funkcje przenoszenia głowy (HRTF – Head Related Transfer Function, odnoszące się do matematycznej funkcji propagacji dźwięku...
-
Praca z normą Common Criteria wspomagana szablonami Trust Case
PublicationTrust Case stanowi strukturę danych zawierającą argumentację oraz związany z nią materiał dowodowy uzasadniający, że interesujący nas obiekt (system, infrastruktura, organizacja) posiada wskazane własności. Metoda jest przedmiotem intensywnych badań. Jeden z kierunków rozwoju dotyczy tworzenia szablonów oceny zgodności ze standardami. Szablon Trust Case jest odwzorowaniem wymagań zawartych w normie w strukturę drzewa dowodowego....
-
Błędy projektów współfinansowanych ze środków unijnych
PublicationNa przykładzie branży wodno-ściekowej omówiono podstawowe błędy projektów współfinansowanych ze środków unijnych. Problem zgodności ze standardami krajowymi oraz unijnymi. Podstawowe braki dokumentacji projektowej, szczególne znaczenie fazy koncepcji oraz planowania zagospodarowania przestrzennego. Konsekwencje finansowe.
-
Analiza zgodności wybranych sieci współpracy z definicyjnymi wyznacznikami klastra
PublicationCelem artykułu jest analiza wyróżnionych form współpracy, tj. inicjatyw klastrowych, grup producentów rolnych, parków technologicznych i naukowych oraz sieci opartych na systemach produkcji szczupłej (z ang. Lean Manufacturing) pod kątem ich zgodności z definicyjnymi wyznacznikami klastra.
-
A method of trust case templates to support standards conformity achievement and assessment
PublicationOsiąganie i ocena zgodności ze standardami stanowi poważne obciążenie finansowe dla współczesnych gospodarek. Pomimo znacznej wagi tego problemu, nie znalazł on jednak zadowalającego przełożenia na rozwiązania dostępne na rynku. W tej pracy zaproponowano metodę nazwaną Standards Conformity Framework (SCF), która wspiera stosowanie standardów. Jest ona oparta na spostrzeżeniu, że osiąganie i ocena zgodności ze standardem polega...
-
Metoda szacowania nośności granicznych pali Vibro na podstawie quasi-liniowych krzywych osiadania
PublicationBadanie zgodności procedur próbnego obciążenia statycznego oraz metod interpretacji według PN-83/B-02482 i aktualnej normy PN-EN:1997-1:2008. Propozycja empirycznej metody ekstrapolacji quasi-liniowych krzywych osiadania pali Vibro na podstawie wyznaczonej nośności granicznej.
-
Program wspomagający wyznaczanie parametrów modeli procesu przepływu gazu
PublicationJedną z wielkości decydujących o zgodności wyników symulacyjnych i eksperymentalnych napędu pneumatycznego jest masowe natężenie przepływu gazu. Do jego opisu wykorzystywane są różne modele matematyczne, o eksperymentalnie wyznaczonych współczynnikach.W pracy przedstawiono program komputerowy umożliwiający wyznaczanie tych współczynników.
-
Weryfikacja i interpretacja wyników pomiarów akustycznych w obiekcie Filharmonii Kaszubskiej w Wejherowie w aspekcie zgodności z projektem akustyki
PublicationPrzeanalizowano wyników pomiarów akustycznych zrealizowanych przez wykonawcę robót wykończeniowych (pomiary w zakresie akustyki wnętrz i akustyki budowlanej). Zalecono rozszerzenie zakresu pomiarów, po pełnym zakończeniu robót w obiekcie, oraz ich ponowną analizę w aspekcie zgodności z projektem akustyki.
-
EKOSYSTEM PRZESTRZENI ZAMIESZKIWANIA W UJĘCIU AUTORSKICH POSZUKIWAŃ FORMY DOMU OPARTYCH O KONCEPCJĘ ZGODNOŚCI
PublicationCelem artykułu jest prezentacja efektów projektu autorskiego realizowanego w oparciu o koncepcję zgodności. Przeprowadzone zostały kilkuletnie studia lokalnych uwarunkowań przyrodniczych skutkujących powstaniem zbioru rysunków i rzeźb oraz fotografii dokumentujących ich aranżację in situ. Badania prowadzono na terenie Pojezierza Kaszubskiego w obszarze południowego brzegu Jeziora Wdzydzkiego. Działania artystyczno-projektowe o...
-
Square-wave propagation along coupled coplanar transmission line.
PublicationW pracy przedstawiono wyniki modelowania propagacji fali prostokątnej w układzie sprzężonych linii koplanarnych z uziemionym centralnym paskiem. Przeanalizowano napięcia przesłuchów na bliskim i dalekim końcu linii sprzężonych wykazując poprawę zgodności wyników modelowania i eksperymentu przy uwzględnieniu propagacji wielomodowej.
-
Nowe problemy HardLogistics w nowych węzłach sieci logistycznych. (Dyrektywy Nowego Podejścia)
PublicationPrzystąpienie Polski do Unii Europejskiej spowodowało znaczne zmiany w przepisach dotyczących budowy i eksploatacji urządzeń transportu bliskiego. Podano zasady oceny zgodności z Dyrektywami Nowego Podejścia na przykładzie wprowadzania maszyn z obszaru Unii oraz maszyn importowanych spoza tego obszaru.
-
Absolute total cross-section measurements for electron collision with tetrahydrofuran
PublicationZmierzono absolutny, całkowity przekrój czynny na rozpraszanie elektronów na drobinach tetrahydrofuranu (C4H8O) w zakresie energii zderzenia 1-370 eV. Otrzymane wyniki pozostają w dobrej zgodności z sumą obliczonych przekrojów elestycznych i jonizacyjnych. Przeprowadzono porównananie z innymi dostępnymi przekrojami czynnymi.
-
Wspomaganie zarządzania jakością w przedsiębiorstwie na przykładzie spółki spin-off Argevide
PublicationW artykule przedstawiono system wspomagania zarządzania jakością w przedsiębiorstwie. Ukazano istotę funkcjonowania spółek spin-off oraz opisano jedną ze spółek, która została założona na Politechnice Gdańskiej. W zaprezentowanym studium przypadku zwrócono uwagę na obszary wspomagania osiągania i oceny zgodności z normami i standardami
-
Ocena sił koniecznych do ciągnięcia węża gumowego z wodą
PublicationPrzeprowadzono analizę obciążeń działających na pracownika podczas wleczenia węża gumowego z wodą oraz wykonano doświadczalne badania wartości sił występujących podczas realizacji tego zadania. Dokonano krytycznej oceny wyników pod względem zgodności zmierzonych wartości sił z wymaganiami przepisów prawa obowiązujących w odniesieniu do BiHP.
-
Sposób uzyskiwania zgodności przebiegu programu elucji gradientowej w kolumnie z wymaganą postacią programu oraz zapewnienia odtwarzalności parametrów retencji na drodze korekty programu elucji.
PublicationPrzedstawiono ogólny model dynamiki mieszania cieczy w elementach gradientowego aparatu HPLC. Na podstawie wyników matematycznej i doświadczalnej analizy rozproszonej postaci modelu przedstawiono algorytm postępowania, zapewniający uzyskiwanie zgodności przebiegu programu elucji z wymaganą funkcją i wyniki doświadczalnej weryfikacji skuteczności algorytmu. Stwierdzono skuteczność opisanego sposobu postępowania.
-
Badanie zgodności współpracy rzeczywistych systemów z zalecanymi scenariuszami wymiany informacji sygnalizacyjnej DSS1 i SIP
PublicationW pracy przedstawiono wyniki badań wymiany informacji sygnalizacyjnej związanej ze współpracą rzeczywistych systemów telekomunikacyjnych, węzła komutacyjnego sieci PSTN/ISDN oraz systemu bramy międzysieciowej umożliwiających realizację połączeń z sieci IP z sygnalizacją SIP do sieci ISDN z sygnalizacją DSS1 oraz od sieci ISDN do sieci IP. Wyniki badań zostały porównane i ocenione pod kątem zgodności z zalecanymi scenariuszami wymiany...
-
Koszty i wskaźniki jakości jako narzędzie zarządzania w podmiocie leczniczym
PublicationRachunek kosztów w zakładach opieki zdrowotnej na obecnie bardzo duże znaczenie. Identyfikacja i analiza kosztów zarządzania placówką medyczną wpływa na wyniki finansowe. W rozdziale przedstawiono próbę identyfikacji kosztów jakości w szpitalu oraz zaproponowano mierniki oceny jakości. Zastosowano podział kosztów według koncepcji kompleksowego zarządzania jakością. Wyodrębniono koszty wewnętrzne (zgodności, braku zgodności, utraconych...
-
Effective methods for functional confermance testing of parallel and distributed programming libraries.
PublicationRozprawa przedstawia kompletna metodykę tworzenia Zestawów Testów Zgodności dla języków programowania, bibliotek i API, ze szczególnym uwzględnieniem języków i bibliotek programowania równoleglego i rozproszonego. Autor rozpoczął badania w dziedzinie testowania zgodności dla bibliotek programowania równoleglego i rozproszonego, ale Metodyka Kolejnych zawężeń (ang. Consecutive Confinenments Method -CoCoM, stworzona przez Autora,...