Wyszukiwarka
Filtry
wszystkich: 1590
wybranych: 892
-
Katalog
- Publikacje 892 wyników po odfiltrowaniu
- Osoby 80 wyników po odfiltrowaniu
- Wynalazki 4 wyników po odfiltrowaniu
- Projekty 3 wyników po odfiltrowaniu
- Laboratoria 8 wyników po odfiltrowaniu
- Zespoły Badawcze 8 wyników po odfiltrowaniu
- Aparatura Badawcza 10 wyników po odfiltrowaniu
- Kursy Online 565 wyników po odfiltrowaniu
- Wydarzenia 14 wyników po odfiltrowaniu
- Oferty 1 wyników po odfiltrowaniu
- Dane Badawcze 5 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: programowanie dyskretne
-
Programowanie strukturalne
PublikacjaCelem niniejszej książki jest przedstawienie wybranych metod programowania strukturalnego, tzn. takich, które prowadzą do poprawnej struktury, poprawy jakości oprogramowania oraz zwiększenia efektywności programistów. Może ona służyć jako podręcznik akademicki wykorzystywany na podstawowych kursach inżynierii oprogramowania. Zainteresuje również wszystkich tych, którzy zajmują się programowaniem amatorskim i chcą poszerzyć swoją...
-
Dyskretne modele niskiego rzędu ciągłych układów przenoszenia napędu.
PublikacjaCelem pracy jest prezentacja zastosowania metody transmitancji układów o parametrach rozłożonych do konstruowania modalnych grafów wiązań dla złożonych układów zawierających jednowymiarowe, jednorodne podukłady o parametrach rozłożonych występujące w układach napędowych.
-
Sztuczne systemy immunologiczne w optymalizacji dyskretnej
PublikacjaSztuczne systemy immunologiczne to modele komputerowe oparte na niektórych właściwościach systemu odpornościowego kręgowców. Znajdują one szereg zastosowań m. in. w optymalizacji dyskretnej. Praca ta przedstawia informacje na temat trzech modeli obliczeniowych inspirowanych funkcjonowaniem układu immunologicznego, ich podstaw biologicznych i moŜliwych zastosowań. Artykuł zawiera opis algorytmu selekcji klonalnej w wersji optymalizacyjnej...
-
Dyskretno-ciągła metoda modelowania układów dynamicznych
PublikacjaW artykule przedstawiono oryginalną metodę modelowania układów dyskretno-ciągłych. Metoda polega na dyskretyzowaniu układu trójwymiarowego jedynie w dwóch wybranych kierunkach. W trzecim z kierunków układ pozostaje ciągły. Otrzymany w ten sposób model jest modelem dyskretno-ciągłym. Opisany jest za pomocą równań różniczkowych cząstkowych. Ogólne równania różnicowe układu dyskretnego otrzymano, wykorzystując metodę sztywnych elementów...
-
Modelowanie układów dyskretno-ciągłych z ruchomym obciążeniem.
PublikacjaZaprezentowano modele niskiego rzędu dla wybranych jednowymiarowych układów ciągłych z ruchomym obciążeniem w postaci przemieszczających się podukładów o parametrach skupionych.Do budowy takich modeli zastosowano zmodyfikowane modalne grafy wiązań.
-
Licencjonowanie oprogramowania
PublikacjaWolne i otwarte oprogramowanie przeżywa ostatnimi laty rozkwit. Co raz więcej przedsiębiorstw komercyjnych opiera rozwój swoich firm na otwartym oprogramowaniu. Zarówno mali, jak i duzi gracze mają świadomość komplikacji współczesnych systemów i niemożności samodzielnego ich rozwoju. Z pomocą przychodzi otwarte podejście do wytwarzania oprogramowania. Wymaga to jednak pewnego zrozumienia uwarunkowań prawnych, a w szczególności...
-
Cztero-gałęziowy estymator dyskretnej pulsacji chwilowej sygnałów zespolonych
PublikacjaW pracy zaproponowano nowy pomysł na estymator dyskretnej pulsacji chwilowej sygnału zespolonego wyposażony w skuteczny rozwijacz fazy wspomagany 4-filtrowym estymatorem bieżącego widma mocy. To tanie numerycznie, pracujące potokowo, rozwiązanie pozwala zdecydowanie poprawić dokładność uzyskiwanej estymaty pulsacji chwilowej. Skuteczność działania zaproponowanego rozwiązania przedstawiono na przykładzie specjalnie skonstruowanego...
-
Metody optymalizacji dyskretnej w analizie podobieństwa drzew filognetycznych
Publikacja -
Programowanie algorytmiczne w edukacji architektonicznej
PublikacjaWprowadzenie komputerów do projektowania architektonicznego uprościło projektowanie złożonych form geometrycznych. Na podstawie cyklicznych warsztatów badawczych, prowadzonych od 2011 roku na Politechnice Gdańskiej, przedstawiona została problematyka związana z zastosowaniem projektoawania algorytmicznego w architekturze. Celem warsztatów jest popularyzacja oraz sprawdzenie sprawności posługiwania się narzędziami służącymi do projektowania...
-
Zasady programowania w Internecie
PublikacjaPrzedstawiono środowisko Internetu widziane z punktu widzenia programisty. Wprowadzono model trójwarstwowej aplikacji WWW, jakonajczęściej spotykanego przykładu programowania w środowisku Internetu. Wymieniono główne zadania programisty w ramach każdej z warstw i opisano przykładowe narzędzia realizacji tych zadań - technologie i języki.
-
Metodologia i techniki programowania
PublikacjaKsiążka jest syntetycznym wprowadzeniem do technik programowania. Omawia podstawowe trendy rozwoju metodologii wytwarzania oprogramowania, takie jak: metody strukturalne, obiektowe, narzędzia CASE, standaryzacje programów i ocenę złożoności oprogramowania. Pokazuje również, jak projektować kodować, testować i uruchamiać programy, aby były niezawodne i efektywne. Naszkicowano w niej możliwości środowisk wytwarzania oprogramowania....
-
Oprogramowanie mobilnego komunikatora multimedialnego
PublikacjaArtykuł przedstawia efekty prac nad stworzeniem oprogramowania dla mobilnego komunikatora multimedialnego. Projektowane urządzenie ma umożliwić użytkownikom swobodną komunikację (tekstową, głosową, wideo) oraz możliwość lokalizowania innych użytkowników dzięki działającej w tle wymianie informacji o pozycji. W referacie zaprezentowano architekturę systemu oraz oprogramowania stworzonego w środowisku Qt realizującego założoną funkcjonalność....
-
Algorytm dyskretnej transformacji falkowej zoptymalizowany dla implementacji w mikrokontrolerze
PublikacjaNajczęściej stosowane algorytmy dyskretnej transformacji falkowej (DWT) wymagają sporych mocy obliczeniowych i dużych ilości pamięci danych, same obliczenia natomiast wykonywane są na liczbach rzeczywistych. Nie można ich zatem bezpośrednio zastosować w mikrontrolerach. Praca przedstawia propozycję optymalizacji algorytmu dyskretnej transformacji falkowej pod kątem implementacji w mikrontrolerze 8-bitowym. Dokonano przyspieszenia...
-
Projektowanie filtrów ułamkowoopóźniających reprezentowanych przez współczynniki dyskretnej charakterystyki częstotliwościowej
PublikacjaW pracy przedstawiono iteracyjną metodę projektowania filtrów ułamkowoopóźniających bazującą na metodzie POCS (rzutowaniu na podzbiory wypukłe). Zastosowanie tej metody pozwala na projektowanie filtrów definiowanych przez ich współczynniki dyskretnej charakterystyki częstotliwościowej sformułowanej, tak że można powiązać ją z projektowaniem tych filtrów metodą okien przesuwanych w dziedzinie czasu.
-
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublikacjaW tym artykule przedstawiono jak przy udziale standardowych mechanizmów nowoczesnych języków obiektowych, osiągnięć z zakresu formalnej reprezentacji wiedzy oraz lingwistyki komputerowej wytworzyć zbiór narzędzi wzbogacających warsztat programisty o narzędzia semantyczne. Przedstawione tu Programowanie Obiektowe z Użyciem Adnotacji Semantycznych jest częścią rozwijanej przez autora referatu metodologii wytwarzania oprogramowania...
-
Programowanie działań przestrzennychuwarunkowanych równoważeniem rozwoju regionu
PublikacjaW artykule przedstawiono zarys badań nad kryteriami wyboru i kolejności działań z zakresu zrównoważonej odnowy przestrzeni miejskiej, które wpisują się w równoważenie rozwoju regionu. W wyniku przeprowadzonych badań stworzony zostanie system kryteriów oceny inwestycji, pozwalający ustalić priorytety działań przestrzennych i odpowiednie instrumenty w skali ponadlokalnej i regionalnej.
-
Ośrodki Leczenia Uzależnień - Programowanie i Projektowanie
PublikacjaProblematyka projektowania i programowania współczesnych ośrodków leczenia uzależnień jest wyzwaniem dla architektów. Nastał właściwy czas dla powstawania nowych, w pełni skutecznych, funkcjonalnie dopracowanych modelowych ośrodków leczenia i opieki nad osobami uzależnionymi. W związku z tym w niniejszym rozdziale zawarto opis zarysu modelowych koncepcji ośrodków leczenia uzależnień oraz zaprezentowano dwa przykłady projektów magisterskich...
-
Proces wytwarzania oprogramowania
PublikacjaPraca wprowadza w zagadnienia organizacji procesu wytwórczego, omawia uznanestandardy procesu i ich wykorzystanie w przedsiębiorstwie. Omówienie podsta-wowych problemów prowadzenia projektu informatycznego poszerzono o krótkąprezentację dwu istotnych, choć rzadziej prezentowanych, zagadnien: politykiprowadzenia projektu oraz etyki w realizacji projektu informatycznego.
-
Technologie wytwarzania oprogramowania
PublikacjaPraca poświęcona została dwóm najpowszechniejszym współcześnie technologiomwytwórczym - podejściu strukturalnemu i obiektowemu. W obu przypadkach omó-wienie skupia się na zagadnieniach i metodach modelowania i projektowania,w obu też jest ono bogato ilustrowane przykładami.
-
Współbieżność w obiektowych językach programowania.
PublikacjaPraca przedstawia koncepcje współbieżności i ich implementacje w językach programowania. Analizuje się efektywność rozwiązań i zwraca uwagę na problemy dotąd nierozwiązane.
-
Wybrane zagadnienia licencji na oprogramowanie
PublikacjaW rozdziale przedstawione zostały wybrane zagadnienia licencji na oprogramowanie obejmujące uwarunkowania prawne, niejawne elementy licencji, praktykę tworzenia umów licencyjnych i konsekwencje naruszania umów licencyjnych. Zaprezentowane zostały także wyniki badania mającego na celu poznanie poziomu wiedzy, praktyk związanych z czytaniem i rozumieniem licencji oraz opinii użytkowników na temat licencji. Końcowa część rozdziału...
-
Wykonanie i oprogramowanie robota kroczącego
PublikacjaJednym z najpopularniejszych robotów kroczących jest robot o sześciu nogach – heksapod. Artykuł przedstawia projekt, wykonanie i oprogramowanie heksapoda. Sterowanie robotem polega na odpowiednim ustawieniu wartości wychylenia serwomechanizmów, które dają możliwość poruszania się poszczególnych odnóży. W urządzeniu sterującym zaimplementowano różne typy chodu robota.
-
Zjawisko wyścigu w programowaniu współbieżnym
PublikacjaW rozdziale przedstawiono omówienie podstawowego problemu, z jakim, prędzej czy później, styka się każdy programista piszący oprogramowanie wykorzystujące współbieżność. W praktyce będzie to każdy programista starający się w pełni wykorzystywać moc obliczeniową współczesnych wielordzeniowych procesorów i akceleratorów
-
Wzajemne wykluczanie w programowaniu współbieżnym
PublikacjaW rozdziale opisano wzajemne wykluczanie wątków w programach współbieżnych. Przedstawiono zarówno podejście proceduralne (semafory), jak i obiektowe (monitory). Omówiono sposoby działania obu mechanizmów synchronizacji oraz różnice pomiędzy nimi. Sposoby użycia omawianych mechanizmów zostały zilustrowane wzorcami: wzajemnego wykluczania oraz producent–konsument.
-
Programowanie rewitalizacji a planowanie miejscowe - o problemie koordynacji
PublikacjaArtykuł dotyczy znaczenia nowego narzędzia planistycznego jakim jest miejscowy plan rewitalziacji. W artykule przedstawiono podstawowe kwestie związane z jego wprowadzaniem w kontekście obecnej sytuacji prawnej
-
Tradycyjne cykle życia oprogramowania
PublikacjaPraca prezentuje uznane i powszechnie stosowane cykle wytwarzania i ewolucjioprogramowania systemów informatycznych, takie jak cykl klasyczny (kaskado-wy), model V wytwarzania z zapewnianiem jakości, prototypowanie wymagań, mo-del spiralny i przyrostowy. Nieduży przykład ilustruje sposób doboru strate-gii wytwarzania.
-
Współczesne cykle wytwarzania oprogramowania
PublikacjaPraca omawia inne stosowane współcześnie cykle wytwórcze. Do dyskusji wybra-ne zostały modele, których wykorzystanie przynosi satysfakcjonujące rezulta-ty (wytwarzanie obiektowe, ponowne użycie oprogramowania z wykorzystaniemkomponentów i wzorców, ponowna inżynieria systemów), podejścia, których sto-sowanie nie jest oceniane jednoznacznie (jak to ma miejsce w wypadku metody-ki SSM Checklanda) oraz modele uważane, obok wymienionych,...
-
Strategia zapewnienia jakości oprogramowania.
PublikacjaW referacie zaproponowano strategię zapewnienia jakości oprogramowania, bazując na działaniach w następujących obszarach: określenie definicji jakości oraz sposobu weryfikacji jej osiągnięcia; dobór technik dotyczących poprawy produktu; poprawa procesu wytwarzania oprogramowania; podnoszenie kultury jakości organizacji.
-
Przegląd miar oceny oprogramowania
PublikacjaProblem oceny oprogramowania istnieje od momentu pojawienia się pierwszego programu komputerowego. Historycznie miary jakości oprogramowania miały zupełnie inne przeznaczenie, gdyż skupiały się na częstotliwości defektów lub błędów oprogramowania. Błędnie bazowało to na założeniu, że jakość oprogramowania to brak błędów. Stąd też używano prostej statystyki typu liczby błędów, wykrytych w określonym przedziale czasu (np. rocznym)...
-
Zasady programowania i projektowania obiektow aquaparków.
Publikacja -
BUDOWA I OPROGRAMOWANIE PRZENOŚNEGO SPEKTROMETRU RAMANA
PublikacjaW pracy przedstawiono budowę oraz zasadę działania przenośnego spektrometru Ramana, przygotowywanego w Katedrze Optoelektroniki i Systemów Elektronicznych Politechniki Gdańskiej. Opisano format plików *.SPC, który jest wykorzystywany przez oprogramowanie sterujące budowanym spektrometrem oraz stosowany przez większość komercyjnych aplikacji przeznaczonych do analizy widm Ramana. Przedstawiono podstawowe metody parametryzacji rejestrowanych...
-
Budowa i oprogramowanie przenośnego spektrometru ramana
PublikacjaW pracy przedstawiono budowę oraz zasadę działania przenośnego spektrometru Ramana, przygotowywanego w Katedrze Optoelektroniki i Systemów Elektronicznych Politechniki Gdańskiej. Opisano format plików *.SPC, który jest wykorzystywany przez oprogramowanie sterujące budowanym spektrometrem oraz stosowany przez większość komercyjnych aplikacji przeznaczonych do analizy widm Ramana. Przedstawiono podstawowe metody parametryzacji rejestrowanych...
-
TECHNOLOGIA RADIA PROGRAMOWALNEGO – SPRZĘT I OPROGRAMOWANIE
PublikacjaTechnologia radia programowalnego (ang. Software Defined Radio) jest nowoczesnym rozwiązaniem umożliwiającym realizację urządzeń pracujących w różnego rodzaju systemach łączności radiowej. W pracy zaprezentowano zagadnienia dotyczące koncepcji realizacji radia programowalnego. Zaprezentowano budowę dwóch przykładowych platform sprzętowych do realizacji radia programowalnego. Przedstawiono również architekturę oprogramowania stosowaną...
-
Analiza częstotliwościowa ekranu kulistego z dyskretnym uzwojeniem wzbudzającym
PublikacjaW pracy przedstawiono wyniki analizy rozkładu pola magnetycznego wewnątrz powłoki sferycznej, na której rozłożono dyskretne uzwojenie demagnetyzacyjne w postaci pojedynczych zwojów. Zbadano wpływ liczby zwojów na rozkład pola magnetycznego.
-
Efektywne programowanie procesora TMS320C6711 przy użyciu pakietu SIMULINK.
PublikacjaW artykule opisano alternatywny, w stosunku do standardowych metod kodowania, sposób programowania procesora TMS320C6711 z wykorzystaniem bibliotek pakietu SIMULINK. Scharakteryzowano własności karty uruchomieniowej ze zmiennoprzecinkowym procesorem sygnałowym TMS320C6711 firmy Texas Instruments, pod kątem tworzenia programów do układów prototypowych. Opisano także cechy pakietu SIMULINK jako wydajnego narzędzia pozwalającego na...
-
Metaheurystyczne metody optymalizacji dyskretnej w problemie układania rozkładów zajęć dla szkół wyższych.
PublikacjaW pracy rozważany jest problem układania rozkładów zajęć dla szkoły wyższej. Do rozwiązania tego zagadnienia wykorzystane zostały następujące metody lokalnego i globalnego przeszukiwania przestrzeni możliwych rozwiązań: symulowane wyżarzenie, przeszukiwanie tabu oraz algorytmy genetyczne.
-
Programowalne układy napędowe w dydaktyce.
PublikacjaOpisane stanowisko laboratoryjne stanowi przykład zestawu, z pomocą którego możliwe jest zapoznanie szerokiej liczby odbiorców z nowoczesną techniką napędową. Studenci odbywający zajęcia laboratoryjne, prowadzonych w Katedrze Trakcji Elektrycznej, mogą badać różnorakie maszyny elektryczne pod względem własności ruchowych, zaznajomić się ze sposobami sterowania silnikami z użyciem energoelektronicznych przetworników energii oraz...
-
Aspekty metodologiczne interdyscyplinarnej inżynierii oprogramowania
PublikacjaInterdyscyplinarna inżynieria oprogramowania jest nowym nurtem w inżynierii oprogramowania, który ma prowadzić do rozwiązania istniejących problemów poprzez badanie natury zjawisk i technik projektowych w kontekście interdyscyplinarnym. W referacie zidentyfikowano podstawowe zagadnienia metodologiczne, które należy wziąć pod uwagę w celu efektywnego prowadzenia badań oraz przeprowadzono ich dyskusję. Następnie podjęto próbę wyodrębnienia...
-
Trendy, wyzwania w inżynierii oprogramowania
PublikacjaWywiad z prof. Januszem Górskim.
-
Pomiar rozmiaru i prcochłonności oprogramowania
PublikacjaZależność pomiędzy rozmiarem wytworzonego oprogramowania a pracochłonnością jest istotną wskazówką dla skutecznego planowania procesu wytwórczego oraz konstruowania harmonogramów. W referacie skupiono się na fragmencie tego problemu dotyczącą miar oraz technik pomiaru rozmiaru i pracochłonności związanych z realizacją przedsięwzięcia informatycznego. Przedstawiono główne miary rozmiaru i pracochłonności oraz zaprezentowano narzędzie...
-
Platforma KASKADA - proces wytwarzania oprogramowania
PublikacjaZostał przedstawiony proces wytworzenia Platformy KASKADA służącej do przetwarzania strumieni multimedialnych w rozproszonym środowisku superkom-putera. Przedstawiono wymagania dotyczące Platformy, a następnie opisano przyjętą metodykę wytwarzania. Opi-sano przebieg poszczególnych iteracji procesu. Przedsta-wiono proces wytwarzania usług, od implementacji algo-rytmu, przez wdrożenie na Platformę, aż po akceptację i udostępnienie...
-
Internetowy system oceny jakości oprogramowania
PublikacjaPrzedstawiono nową wersję systemu oceny jakości oprogramowania QES), zrealizowaną w technologii WWW. QES charakteryzuje się bardziej elastycznym modelem jakości oraz zawiera znacznie większą funkcjonalność niż jego poprzednik (SOJO). Pozostawia użytkownikowi dużą swobodę oceny konkretnego procesu wytwarzania lub produktu wynikającego z tego procesu. Zapewnia możliwość porównania jakości różnych metodologii lub szczegółowych rozwiązań....
-
Radio programowalne - nowoczesna platforma dydaktyczna
PublikacjaPrzedstawiono technologię radia programowalnego jako nowoczesną platformę dydaktyczną. Zaproponowane podejście pozwala na efektywniejsze planowanie stanowisk laboratoryjnych. Umożliwia skrócenie czasu realizacji etapów związanych z projektowaniem, symulacją i testowaniem działania łącza radiowego. Pozwala również na elastyczną zmianę stanowisk laboratoryjnych zgodnie z dynamicznym rozwojem współczesnych systemów radiokomunikacyjnych.
-
Uniwersyteckie Centrum Kompetencyjne Technologii Oprogramowania
PublikacjaPoniższy rozdział stanowi rodzaj case study, gdzie na przykładzie Uniwersyteckiego Centrum Kompetencyjnego Technologii Oprogramowania funkcjonującego przy Politechnice Gdańskiej przedstawiona została koncepcja powoływania i funkcjonowania centrów rozwijania technologii informatycznych tworzony przy uczelniach wyższych przy współpracy z partnerami biznesowymi. Przedstawione zostały potrzeby powoływania takich jednostek organizacyjnych,...
-
Zastosowanie metody estymacji rozkładem dyskretnym do oceny niezawodności fundamentu
PublikacjaPraca dotyczy oceny nośności granicznej stochastycznego podłoża gruntowego. Przyjmując jako miarę bezpieczeństwa wskaźnik niezawodności, analizę przeprowadzono metodą estymacji rozkładem dyskretnym (PEM - Point Estimate Method). W metodzie tej ciągłą zmienną losową zastępuje się składającą się z impulsów dyskretną zmienną losową i aproksymuje charakterystyki statystyczne. Obliczenia wykonano dla przypadku obciążonej pionowo i osiowo...
-
OPROGRAMOWANIE I SPRZĘT W TECHNOLOGII RADIA PROGRAMOWALNEGO
PublikacjaTechnologia radia programowalnego (ang. Software Defined Radio) umożliwia realizację urządzeń pracujących w różnego rodzaju cywilnych i wojskowych systemach radiowych. W pracy zaprezentowano zagadnienia dotyczące koncepcji realizacji radia programowalnego. Zaprezentowano oprogramowanie GNU Radio, służące do realizacji operacji przetwarzania sygnałów w torach nadawczo-odbiorczych urządzeń zrealizowanych w technologii SDR. Przedstawiono...
-
Architektura i programowanie inteligentnych sterowników opartych na układach mikroprocesorowych.
PublikacjaZaprezentowano zasoby i architekturę mikrokontrolerów. Przedstawiono ideę sterowania z wykorzystaniem systemu komputerowego oraz kryteria doboru komputera do realizacji programów sterujących obiektami w czasie rzeczywistym. Scharakteryzowano metody wymiany informacji systemu komputerowego z otoczeniem. Wskazano na możliwości rozbudowy zasobów mikrokontrolera. Opisano przykładową aplikację.
-
Object oriented grid computing for computational electromagnetics
PublikacjaArtykuł opisuje bibliotekę WiCommGrid napisaną w języku java, która realizuje ideę wymiany informacji pomiędzy węzłami środowiska rozproszonego z zastosowaniem programowania zorientowanego obiektowo. Biblioteka ta przystosowana jest do współdziałania z wieloma systemami operacyjnymi oraz z rożnym środowiskiem sprzętowym. Zbudowaną aplikację zastosowano do zrównoleglonych obliczeń rozkładu pola elektromagnetycznego w oparciu o algorytm...
-
RDQC - sterowana wymaganiami kontrola jakości oprogramowania
PublikacjaArtykuł omawia metodę RDQC sterowania jakością wytwarzanego oprogramowania w oparciu o zbiór stawianych mu wymagań. W tym celu dokonywana jest specyfikacja wymagań wobec oprogramowania, stanowiąca następnie podstawę dla wybrania najbardziej istotnych charakterystyk jakościowych. W kolejnych fazach procesu wytwórczego wybrane charakterystyki podlegają kontroli - poprzez interpretację odpowiedzi na przypisane im pytania i pomiary...
-
Zastosowania metody HAZOP w inżynierii oprogramowania.
PublikacjaArtykuł przedstawia HAZOP - metodę analizy modeli systemów oraz jej zastosowania w dziedzinie inżynierii oprogramowania do identyfikacji błędów obecnych w modelach. Omawiane są różne obszary stosowalności związane z różnymi klasami błędów: defektów modelowania, zdarzeń niebezpiecznych dla otoczenia systemu oraz zagrożeń związanych z zabezpieczeniem systemu. Artykuł prezentuje również dotychczasowy stan badań związanych...