Filters
total: 880
-
Catalog
- Publications 796 available results
- Journals 2 available results
- People 19 available results
- Inventions 5 available results
- Projects 3 available results
- Laboratories 2 available results
- Research Teams 5 available results
- e-Learning Courses 36 available results
- Events 9 available results
- Open Research Data 3 available results
Search results for: MIARY ZŁOŻONOŚCI
-
Modelowanie scenariuszy negocjacyjnych w celu zwiększenia skuteczności realizacji przedsięwzięć zespołowych
PublicationNegocjacje są istotną częścią wielu przedsięwzięć ludzkich, również tych, które odbywają się w Internecie. Sposób ich przeprowadzania, czyli scenariusz negocjacji, wpływa bezpośrednio na ich wyniki. Możliwe jest zatem zaproponowanie takich środowisk pośredniczących i scenariuszy negocjacyjnych, które pozytywnie wpłyną na wynik negocjacji.W pracy zaproponowano miary jakościowe pozwalające ocenić negocjacje. Przedstawiono rozproszone...
-
Kod fontannowy z przyrastającą liczbą symboli źródłowych
PublicationKody fontannowe zabezpieczające transmisję przed wymazaniami wyróżnia brak określonej z góry długości i losowy sposób generacji kolejnych pakietów kodowych. W pracy pokazano jak właściwości tych kodów zależą od rozkładu macierzy generującej dla dwóch wariantów dostarczania pakietów do kodera. Szczególnie interesujący jest przypadek, gdy pakiety źródłowe trafiają do kodera stopniowo podczas transmisji. Uzyskane wyniki wskazują na...
-
Efficient Multiscale Finite Difference Frequency Domain Analysis Using Multiple Macromodels with Compressed Boundaries
PublicationW niniejszym artykule zaprezentowany został nowatorski pomysł na zmniejszenie numerycznej złożoności metody różnic skończonych przy użyciu wielu makromodeli. Skuteczność techniki macromodelingu zależy od liczby portów modelu. Aby zwiększyć efektywność algorytmu, próbki pola na granicy makromodeli są zastępowane przez amplitudy wielomianów Legendre'a. Przedefiniowanie problemu w taki sposób powoduje znaczną redukcję czasu analizy....
-
Wpływ stabilizatorów systemowych na kołysania elektromechaniczne
PublicationPrzedstawiono kilka wybranych zagadnień z dziedziny stabilizatorów systemowych. Obecna praca powinna zwrócić uwagę na złożoność problemu stabilizacji oscylacji eklektromechanicznych w systemie elektroenergetycznym.
-
T-coloring of graphs.
PublicationNiniejszy rozdział omawia kontrastowe kolorowanie grafów. Podana została jego definicja i podstawowe własności, zastosowania oraz złożoność obliczeniowa problemów rozważanych w ramach tej dziedziny.
-
Kontrastowe kolorowanie grafów
PublicationNiniejszy rozdział omawia kontrastowe kolorowanie grafów. Podana zostałajego definicja i podstawowe własności, zastosowania oraz złożoność oblicze-niowa problemów rozważanych w ramach tej dziedziny.
-
General Gm-C filters with finite band transconductors.
PublicationW pracy przedstawiono wyniki badań dotyczących wpływu skończonego pasma przenoszonych częstotliwości elementów transkonduktancyjnych na właściwości filtrów Gm-C czasu ciągłego. Opracowano miary dewiacji charakterystyk częstotliwościowych filtrów Gm-C spowodowanych skończonymi wartościami elementów pojemnościowych i rezystancyjnych na wyjściu transkonduktorów. Proponowana procedura analizy może znaleźć szerokie zastosowanie...
-
Dynamic stability and spatial heterogeneity in the indyvidual-based modelling of a Lotka-Volterra gas.
PublicationPrzedstawiono wyniki symulacji systemu drapieżnik-ofiara. Dynamika populacji jest opisana oddziaływaniami typu Lotki Volterry ala uzyskane efekty przestrzenne różnia się od rozwiązań równań Lotki Voltery. Do analizy wyników symulacji uzyto miary entropii i korelacji. Entropia oscyluje w rytmie zgodnym z całą populacją, zaś średnie wartości korelacji skrosnej są zależne od rozmiarów okna obserwacji.
-
Algorytm wyznaczania zużycia w płaskim skojarzeniu ślizgowym na podstawie danych z odwzorowaniem powierzchni
PublicationW referacie przedstawiono skuteczną metodę wyznaczania liniowej miary zużycia w oparciu o analizę wejściowego strumienia danych reprezentującego geometryczne odwzorowanie powierzchni zużywanej próbki. Przedstawiono także krótki opis działania i możliwości programu komputerowego realizującego opracowany uprzednio algorytm, który wykazał swoją skuteczność w analizie zużycia wybranych bezsmarowych materiałów łożyskowych badanych w...
-
Metody oceny wyników usprawniania działalności operacyjnej (przykład zasto-sowań)
PublicationArtykuł omawia warunki, jakie należy spełniać przy doborze miar i procesie dokonywania pomiaru efektów usprawniania działalności operacyjnej. Prezentuje metody oceny wyników działalności operacyjnej, wśród których znaczące miejsce ma zdolność produkcyjna, produktywność, przepustowość i skuteczność. Wskazuje również na potrzebę powiązania miar z celami całego przedsiębiorstwa.
-
Wybrane własności problemu routingu oraz kolorowania ścieżek w grafie.
PublicationReferat dotyczy zagadnienia ścieżkowego kolorowania grafu, które stanowi naturalny model dla problemu routingu i przydziału częstotliwości w czysto optycznej sieci światłowodowej. Opisano podstawowe zasady i właściwości ścieżkowego kolorowania grafów. Zaprezentowano wybrane twierdzenia, oparte w dużej mierze na wynikach badań własnych. Omówiono złożoność obliczeniową problemu routingu chromatycznego i kolorowania ścieżek zarówno...
-
Gospodarka o obiegu zamkniętym
e-Learning CoursesDefinicja i zasady gospodarki obiegu zamkniętego (GOZ). Kluczowe koncepcje. Modele biznesowe. Zasady projektowania. Polityka i regulacje. Miary i ocena. Szanse i wyzwania. GOZ a zrównoważony rozwój. GOZ w róznych branżach. GOZ w branży wod.-kan. GOZ w sektorze odpadów.
-
Weakly cooperative guards in grids
PublicationW pracy autorzy zajmują się rozmieszczaniem strażników mobilnych w kratach ortogonalnych, podali wzór na minimalną liczbę strażników w kracie oraz przeanalizowali złożoność obliczeniową problemu.
-
Małgorzata Chojnacka doktor
PeopleMałgorzata Chojnacka – doktor nauk ekonomicznych, pracownik naukowo-dydaktyczny, adiunkt na Wydziale Ekonomicznym, Akademii im. Jakuba z Paradyża w Gorzowie Wielkopolskim. Jest autorką niemal 70 publikacji badawczych z dziedziny zarządzania i jakości, a także ekonomii. Jej opracowania są wydawane w czasopismach krajowych i zagranicznych. Za swoje główne osiągnięcia uznaje książkę pt. "Zarządzanie jakością. W poszukiwaniu doskonałości"...
-
Zmodyfikowana metoda prognozowania rezultatów nadzorowania drgań narzędzie--przedmiot obrabiany. W: Projektowanie mechatroniczne. Zagadnienia wybrane. Praca zbiorowa pod red. T. Uhla. Kraków: Kated. Robotyki i Dynam. Masz.AGH**2003 s. 125-134, 3 rys. 1 tab. bibliogr. 6 poz.
PublicationW pracy przedstawiono zmodyfikowaną metodę prognozowania rezultatów nadzoro-wania drgań narzędzie-przedmiot obrabiany za pomocą sterowanej programowo prędkości obrotowej wrzeciona. Istotą modyfikacji jest uwzględnienie w mode-lu złożoności geometrycznej narzędzia oraz efektu rozproszenia energii pro-cesu skrawania. Podano opis dynamiki skrawania niestacjonarnego modelu obli-czeniowego, oraz sposobu nadzorowania. Zamieszczono...
-
Metody Admission Control oparte na pomiarach.
PublicationSterowanie przyjęciem zgłoszenia jest kluczowym elementem sterowania domeną DiffServ warunkującym świadczenie przez operatora usług z IP QoS. Zasadniczym celem pracy jest dokonanie analizy związanej z metodami AC opartymi na pomiarach określanych skrótem MBAC. Scharakteryzowane zostało sześć metod realizacji MBAC o różnej złożoności obliczeniowej i pomiarowej. Przedstawiona została także realizacja procesu pomiaro-wego wielkości...
-
Cooperative mobile guards in grids
PublicationPraca dotyczy problemu strzeżenia dwuwymiarowych krat ortogonalnych, przy założeniu, że obszar widoczności strażnika obejmuje jedną ulicę oraz wszystkie ulice ją przecinające. Rozważano wariant straży słabo współpracujących, w którym dodatkowo każdy strażnik musi widzieć przynajmniej jednego innego strażnika. Podano dowód NP-trudności problemu optymalizacyjnego w przypadku ogólnym, algorytm dokładny o złożoności O(n log n) dla...
-
A note on fast approximate backbone coloring of split graphs with star--like backbones
PublicationDla grafu G = (V, E) z wyróżnionym podgrafem H, kolorowanie szkieletowe jest zdefiniowane jako odwzorowanie c spełniające |c(u) - c(v)| > 1 dla każdej krawędzi z E(H) oraz |c(u) - c(v)| > 0 dla każdej krawędzi z E(G). W pracy przedstawiono 1-przybliżony algorytm kolorowania szkieletowego split grafów ze skojarzeniem w szkielecie o złożoności O(|V|) oraz 1-przybliżony algorytm dla split grafów z rozłącznymi gwiazdami w szkielecie.
-
Ujednoznacznienie słów przy uzyciu słownika WORDNET
PublicationArtykuł prezentuje problem odnajdywania sensu wyrazów (dezambiguacja) w zdaniu na podstawie ich kontekstu. Zaproponowany algorytm ujednoznaczniania wyrazów przeanalizowany został pod kątem złożoności, oraz zastosowania. Zaprezentowana w artykule platforma udostępnia użytkownikowi możliwość graficznego przeglądania procesu dezambiguacji zachodzącego między zadanymi w zdaniu słowami, a znaczeniami ze słownika WordNet. W końcowym...
-
Obliczanie prawdopodobieństwa spójności grafów losowych
PublicationZaproponowano metodę wykorzystania systemu Comcute do przeliczania prawdopodobieństwa grafów losowych. Obliczenia te mają zbyt dużą złożoność, aby dla dużych grafów przeprowadzać je na pojedynczym komputerze.
-
Aquametria. Poezja i akwarele [online].
PublicationOswajanie morza pędzlem metafory to przykładanie ludzkiej miary do bezmiaru żywiołu.Reguły akwarelowej technologii zbliżają do uchwycenia istoty wodnego żywiołu i jego niezwykłych przejawów.Nieprzewidywalna różnorodność styku wody z lądem odpowiada podobnym efektom styku mokrego pędzla z powierzchnią papieru, pędzla kierowanego ręką zgodnie z regułami i specyfiką akwarelowej technologii.Prezentacja poezji z tomiku Szukam cię morze...
-
A probabilistic model of envirinmental safety of ship power plant.
PublicationPrzedstawiono probabilistyczne podejście do oceny bezpieczeństwa środowiskowego siłowni statku. Wyznaczono miarę ryzyka oraz kryterium ryzyka środowiskowego siłowni statku.
-
Twierdza Wisłoujście Dom Komendanta. Badania architektoniczne
PublicationBadania miały na celu określenie faz budowy i przekształceń historycznego budynku Domu Komendanta znajdującego się w kompleksie twierdzy
-
Shaking table experimental study on models of steel buildings with different types of joints
PublicationThe aim of this paper is to study the response of models of steel buildings with destroyed and non-destroyed joints. The study was conducted experimentally using the shaking table tests. Two steel models were considered. Several types of joints were taken into account: totally destroyed joints, partially destroyed joints, welded joints and joints stiffened with additional metal. Six ground motions were taken into account. The acceleration...
-
Circular colorings of graphs.
PublicationRozdział poświęcony jest cyrkularnemu modelowi kolorowania krawędzi. Rozważana jest zarówno wersja wierzchołkowa i krawędziowa. Szczególny nacisk położono na złożoność obliczeniową i zastosowania dla omawianych modeli kolorowania.
-
Methods for the characterizing hydrogen degradation of materials
PublicationDokonano przeglądu różnych metod szacowania podatności na niszczenie wodorowe materiałów metalowych. Zaprezentowano charakterystyki warunków środowiskowych: standardowe składy środowisk ciekłych i gazowych, temperatury, warunki polaryzacji elektrochemicznej. Omówiono metody mechaniczne szacowania niszczenia wodorowego różniące się stanem naprężeń, w tym badania: przy stałym obciążeniu, stałym odkształceniu i stałej niskiej szybkości...
-
Deterministic and probabilistic interpretation of operation of technicalsystems with regard to their reliability
PublicationZaproponowano interpretację wartościującą działanie, które jest rozpatrywane jako wielkość fizyczna o jednostce miary zwanej dżulosekundą [dżulxsekunda]. Tak rozumiane działanie przedstawiono w ujęciu technicznym. Zaproponowano oryginalną metodę analizy i oceny działania dowolnego systemu technicznego z uwzględnieniem jego niezawodności. Szczególną uwagę zwrócono na interpretację działania silnika o zapłonie samoczynnym. Do uzasadnienia...
-
Efektywność intensyfikacji przejmowania ciepła na skutek rozwiniecia powierzchni.
PublicationZdefiniowano współczynnik intensyfikacji cieplno-hydraulicznej i zaproponowano jego wykorzystanie jako miary efektywności intensyfikacji przejmowania ciepła podczas wrzenia czynników chlodniczych w przepływie. Opracowaną metodę zastosowano w analizie wyników wlasnych badań wrzenia czynników R22, R134, i R407C w wybranych rurach o rozwiniętej powierzchni wewnętrznej. Dla ruruy nisko żebrowanej stwierdzono większą efektywność ontensyfikacji...
-
Czy subiektywnie ubodzy są ubogimi obiektywnie?
PublicationW pracy wyodrebniono grupę gospodarstw domowych deklarujących się jako ubogie w sondaż Budżety Gospodarstw Domowych 2010r i oszacowano obiektywne miary ubóstwa. Okazało się, że nie wszystkie osoby postrzegające się subiektywnie jako ubogie można za takie uznać. I vice versa, nie wszystkie osoby subiektywnie nieubogie mogą być za takie uznane. Wnioski te okazują sie prawdziwe niezależnie od wyboru linii ubóstwa
-
A new method for searching optimal path on a raster plane including cost of direction changes
PublicationArtykuł przedstawia nowy algorytm znajdowania optymalnych tras na siatkach rastrowych. Szczegółowo opisano zastosowane struktury danych, dzięki który algorytm ma liniową złoŻoność obliczeniową. Zamieszczono również propozycje możliwych zastosowań.
-
Fast recursive basis function estimators for identification of time-varying processes
PublicationW pracy wprowadzono nową kategorię filtrów adaptacyjnych opartych na metodzie funkcji bazowych i wykorzystujących koncepcję postfiltracji. Proponowane algorytmy pozwalają połączyć niską złożoność obliczeniową i dobre właściwości śledzące.
-
Metody modelowania charakterystyk magnesowania przełączalnych silników reluktancyjnych i ich porównanie
PublicationW pracy przedstawiono metody stosowane do modelowania charakterystyk magnesowania przełączalnych silników reluktancyjnych oraz dokonano ich porównania biorąc pod uwagę dokładność modelowania charakterystyk oraz złożoność obliczeniową poszczególnych metod.
-
Metody modelowania charakterystyk magnesowania przełączalnych silników reluktancyjnych i ich porównanie
PublicationW pracy przedstawiono metody stosowane do modelowania charakterystyk magnesowania przełączalnych silników reluktancyjnych oraz dokonano ich porównania biorąc pod uwagę dokładność modelowania charakterystyk oraz złożoność obliczeniową poszczególnych metod.
-
Finansowanie działalności MSP w świetle badań Pomorskiego Obserwatorium Gospodarczego a model finansowego cyklu wzrostu
PublicationFinansowanie działalności firm z sektora MSP jest zagadnieniem zyskującym rosnącą uwagę środowisk naukowych. W tekście przedstawiono model finansowego cyklu wzrostu i podjęto próbę jego weryfikacji w oparciu o wyniki badań zrealizowanych w ramach POG. Otrzymane rezultaty wskazują na to, że problematyka finansowania działalności MSP wykracza swoją złożonością poza ramy nakreślone w analizowanym modelu.
-
Conception of valuation of combustion engine operation
PublicationW artykule zaproponowano interpretację wartościującą działania, które jest przyrównane do wielkości fizycznej o jednostce miary zwanej dżulosekundą, podobnie jak przedstawione w mechanice klasycznej działania Hamiltona i Maupertiusa. Działanie w tym ujęciu rozpatrywane jest także w mechanice kwantowej, w odniesieniu do żródła promieniowania elektromagnetycznego ciała, którego działanie charakteryzuje stała Planca. Przedstawiono...
-
Analiza właściwości mikrokontrolerów do zastosowania w układach sterowania napędami elektrycznymi
PublicationPrzedstawiono wymagania stawiane mikrokontrolerom stosowanym w sterownikach napędu elektrycznego. Dokonano przeglądu najpopularniejszych układów. Omówiono szerzej trzy przykładowe typy mikrokontrolerów o różnym stopniu złożoności, pochodzące od różnych producentów. Zwrócono uwagę na funkcjonalność i parametry warunkujące możliwość wykorzystania ich w założonym zastosowaniu. Rozważono wydajność wbudowanych jednostek arytmetyczno-logicznych....
-
Chromatyczne szeregowanie zadań w cyklicznych systemach produkcyjnych.
PublicationGłównym celem pracy jest klasyfikacja złożoności obliczeniowej problemu szeregowania zadań w przypadku cyklicznej pracy systemu produkcyjnego. Rozważane są przy tym trzy modele szeregowania: system zadań dwuprocesorowych, system otwarty i system przepływowy. Kryterium optymalizacyjnym które jest analizowane jest długość cyklu wyrażająca częstość realizacji poszczególnych zestawów operacji. W pracy posługiwano się teorią grafów...
-
Analiza DFMA technologiczności wyrobu dla projektowania i doskonalenia jakości.
PublicationOmówiono zagadnienia kształtowania jakości projektowej wyrobu w aspekcie procesów jego realizacji wg tzw. podejścia procesowego oraz zasad inżynierii współbieżnej. Wykorzystano metodykę DFMA analizy technologiczności konstrukcji i projektowania zorientowanego na montaż. Rozwinięto studium przypadku zastosowania tej metodyki wg zaleceń podejścia Lucasa® celem doboru postaci konstrukcyjnej pomp hydraulicznych zębatych i doskonalenia...
-
Fpga implementation of the two-stage high-speed fir filter in residue arithmetic
Publicationw pracy przedstawiono implementację szybkiego, dwustopniowego kaskadowego filtru fir w technologii fpga z użyciem arytmetyki resztowej. zastosowanie arytmetyki resztowej pozwala na uzyskanie dużych częstotliwości potokowania w związku z użyciem małych mnożników. zalety arytmetyki resztowej są ograniczane w pewnym stopniu koniecznością wykonywania skalowania po pierwszym stopniu filtru celem uniknięcia nadmiaru arytmetycznego. w...
-
Bound entanglement maximally violating Bell inequalities: quantum entanglement is not fully equivalent to cryptographic security
PublicationW pracy pokazano, że czterokubitowy stan o splątaniu związanym może maksymalnie łamać prostą nierówność Bella podobną do standardowej nierówności CHSH. Prostota rozważanego układu oraz odporność splątania sprawiają, że łamanie to jest obiecujące dla współczesnej technologii eksperymentalnej. Z drugiej strony, splątanie tego stanu nie pozwala na destylację bezpiecznego klucza kryptograficznego, zatem ani splątanie, ani maksymalne...
-
Czy ja umyłem ręce? Jak skutecznie dezynfekować i po co
PublicationUkład immunologiczny człowieka jest niezwykłym systemem, który stopniem złożoności dorównuje skomplikowaniu relacji ekonomicznych centralnej Europy. Ludzie zdają się być niezwykle odporny na ataki patogenów lecz nawet tak zaawansowane układy ja układ odpornościowy człowieka czasem zawodzą. Wiedza na temat prawidłowych metod stosowania oraz skuteczności poszczególnych środków dezynfekcyjnych może być kluczowa do utrzymania bezpiecznych...
-
Kolorowanie grafów obciążonych i jego zastosowanie w problemie przydziału częstotliwości
PublicationReferat omawia jeden z modeli dla problemu przydziału częstotliwości, oparty o kolorowanie grafów obciążonych. Podana została złożoność obliczeniowa modelu i wielomianowy algorytm 4-kolorowania grafów w tym modelu.
-
Expedite EM-driven Mulit-objective Antenna Design Using Surrogate-Based Optimization
ProjectsProject realized in Department of Microelectronic Systems according to UMO-2013/11/B/ST7/04325 agreement from 2014-07-16
-
Czy definiowanie sakralności architektury cerkwi Zachodniej Ukrainy lat 90-tych służy poznaniu rzeczy? Sama rzecz bowiem wymyka się.
PublicationArtykuł przedstawia złożoność problemów procesu powstawania nowych cerkiew na Ukrainie Zachodniej w kontekście analogicznych zmian w Polsce w latach osiemdziesiątych. Porusza problemy z pogranicza kultury, tradycji, kanonu, sztuki i estetyki.
-
Metody analizy ryzyka podejmowania błędnych decyzji z powodu niepewności pomiarów
PublicationReferat dotyczy sposobów definiowania ryzyka podejmowania błędnych decyzji z powodu niepewności pomiarów oraz metod jego obliczania. Usystematyzowano rodzaje prawdopodobieństw łącznych i warunkowych stosowanych jako miary ryzyka w kontekście procesów produkcyjnych. Dokonano przeglądu metod obliczania ryzyka, ze szczególnym uwzględnieniem metod Bayesowskich. Zwrócono uwagę na różnice w stosowanych probabilistycznych modelach pomiaru...
-
Schemat powstawania rys na przykładzie osiowo rozciąganego pręta żelbetowego
PublicationW artykule przedstawiono w sposób schematyczny ideę powstawania kolejnych rys w konstrukcjach żelbetowych na przykładzie osiowo rozciąganego pręta. Opisano początkowy oraz końcowy stan zarysowania. Wyprowadzono wzór na szerokość rysy. Przedstawiono interpretację geometryczną rys dla fazy początkowego zarysowania oraz efekt tension stiffening na przykładzie elementu osiowo rozciąganego. Przedstawiono przykładowe obliczenia miary...
-
Rynek inwestowania w sztukę jako przykład inwestycji alternatywnej
PublicationW opracowaniu przedstawiono klasyfikację inwestycji emocjonalnych jako jednej z kategorii inwestycji alternatywnych. Ocenie poddano wpływ inwestorów chińskich na kondycję rynku sztuki. Zbadano zmienność stopy zwrotu dla wybranych krajowych rynków sztuki. Obliczono podstawowe miary statystyczne dla analizowanych inwestycji alternatywnych. Wskazano na potencjalne możliwości obniżenia ryzyka portfela inwestycyjnego poprzez odpowiednią...
-
Porównanie metod algorytmicznych i eksperymentalnych oceny systemów rekomendacji.
PublicationNa przykładzie systemu rekomendacji badań endoskopowych (ERS) przedstawiono problematykę oceny jakości systemów rekomendacji. Zaproponowane zostały dwa podejścia oceny jakości: algorytmiczne wynikające ze zdefiniowanych miar i sposobu ich pomiaru za pomocą algorytmów testowych oraz eksperymentalne opierające się na ocenie rzeczywistej pracy systemu. Przedstawiono szereg miar służących do pomiarów algorytmicznych. Pokazano...
-
Kompozycje poliuretanowo-szklane
PublicationPrzedstawiono sposób otrzymania kompozycji poliuretanowoszklanych, napełnianych różną ilością włókna szklanego o określonej długości. Kompozycje otrzymywano metodą dwuetapową. W etapie pierwszym syntezowano prepolimery uretanowe z diizocyjanianu i Polesu 55/20. W drugim etapie do prepolimeru dodawano włókno oraz przedłużacz, lubsystem poliuretanowy dozowano w dwóch porcjach do formy stalowej zawierającej włókno szklane ułożone...
-
Diagnostyka układów elektronicznych z magistralą testującą
PublicationWzrost złożoności i miniaturyzacji układów oraz urządzeń elektronicznych, przyczyniając się do polepszenia ich parametrów użytkowych i obniżania kosztów wytwarzania, wiąże się z niepożądanymi efektami ubocznymi, takimi jak wzrost kosztów aparatury pomiarowo-kontrolnej oraz wzrost pracochłonności, związanej z opracowaniem metod i programów testujących. Problemy te są inspiracją do rozwinięcia metod projektowania tzw. testowalnych...