Wyszukiwarka
Filtry
wszystkich: 1369
-
Katalog
- Publikacje 747 wyników po odfiltrowaniu
- Osoby 72 wyników po odfiltrowaniu
- Wynalazki 6 wyników po odfiltrowaniu
- Projekty 1 wyników po odfiltrowaniu
- Laboratoria 7 wyników po odfiltrowaniu
- Zespoły Badawcze 7 wyników po odfiltrowaniu
- Aparatura Badawcza 10 wyników po odfiltrowaniu
- Kursy Online 490 wyników po odfiltrowaniu
- Wydarzenia 11 wyników po odfiltrowaniu
- Oferty 1 wyników po odfiltrowaniu
- Dane Badawcze 17 wyników po odfiltrowaniu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: INSPEKCJE OPROGRAMOWANIA
-
Inspekcja konstrukcji żelbetonowych. Inspekcja wizualna i chemiczna
PublikacjaTrudno sobie wyobrazić energetykę zawodową bez konstrukcji betonowych oraz żelbetonowych. Każda taka konstrukcja lub obiekt poddawana jest okresowym badaniom. Najważniejszym celem kontroli przeprowadzonych na konstrukcjach żelbetonowych jest ustalenie przyczyn powstałych defektów i wad. Badania takie odbywają się w dwóch etapach: wstępny przegląd - wizualny; powinien określić naturę problemu oraz dać odpowiednie podstawy do następnego...
-
Inspekcje bezpieczeństwa ruchu drogowego
PublikacjaInspekcja drogowa prowadzona pod kątem bezpieczeństwa ruchu drogowego jest narzędziem pozwalającym na identyfikowanie mankamentów sieci drogowej. W artykule przedstawiono ogólne założenia wykonywania inspekcji i jej cele oraz wskazano inspekcję jako element oceny zagrożenia na drogach. Na podstawie inspekcji drogi wojewódzkiej przedstawiono przykłady problemów dotyczących jakości sieci drogowej oraz opisano procedurę wyboru najbardziej...
-
Z kamerą... w kanale. (1) Inspekcja telewizyjna.
PublikacjaArtykuł przybliża nowoczesne sposoby przeprowadzania inspekcji sieci kanalizacyjnej za pomocą kamer telewizyjnych. Wymienia się przyczyny powstawania usterek w kanalizacji.
-
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...
-
Do inspekcji linii wysokiego napięcia - bezzałogowe pojazdy latające
PublikacjaPraca przedstawia możliwości zastosowania bezzałogowych pojazdów latających w przemyśle energetycznym. Opisano możliwości i rodzaje bezzałogowych pojazdów latających. Skupiono się na zastosowaniu tych pojazdów w różnych obszarach obsługi linii wysokiego napięcia. Następnie prezentuje się model latającego mini-robota, który zbudowany jest na bazie modelu śmigłowca SST Eagle 2GS firmy Hirobo uzupełnionego odpowiednio w celu umożliwienia...
-
Eksperymentalne porównanie inspekcji UML-HAZOP z przeglądem niestrukturalnym.
PublikacjaArtykuł opisuje eksperyment przeprowadzony w warunkach akademickich, z udziałem studentów Politechniki Gdańskiej. Celem eksperymentu było porównanie dwóch technik przeglądowych: inspekcji opartej na metodzie UML-HAZOP oraz zwykłego przeglądu niestrukturalnego. W ramach porównania obu technik dokonano oceny ich skuteczności i wydajności. Metodę UML-HAZOP poddano ponadto dodatkowej ocenie uczestników za pomocą anonimowych ankiet....
-
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.
-
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)...
-
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.
-
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ą...
-
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ń....
-
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...
-
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...
-
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,...
-
Trendy, wyzwania w inżynierii oprogramowania
PublikacjaWywiad z prof. Januszem Górskim.
-
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...
-
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ść....
-
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....
-
Iniekcje rys powstałych w blokach oporowych wiaduktu sprężonego.
PublikacjaPrzedstawiono charakter i genezę uszkodzeń bloków oporowych wiaduktu sprężonego kablobetonowego położonego w ciągu trasy Sucharskiego w Gdańsku. Inwentaryzacja i analiza uszkodzeń umożliwiła opracowanie koncepcji i realizację naprawy przy zastosowaniu średniociśnieniowych technik iniekcji. Zastosowano w tym celu specjalne żywice o małej lepkości (rzadkie) Concretin IHL. Przedstawiono metodykę iniekcji oraz wyniki i parametry uzyskane...
-
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...
-
Ryzyko etyczne w procesie wytwarzania oprogramowania
PublikacjaPraca rozpatruje współczesne problemy wytwarzania oprogramowania. Jednym zesposobów ich rozwiązywania jest uwzględnienie zagadnien ryzyka etycznego, rozumianego jako zagrożenia, jakie dla sukcesu przedsięwzięcia stwarzają problemy etyki podejmowanych decyzji, odstępstwa od obowiązującego prawa, uwarunkowań polityki projektu, wpływu projektu na ludzi biorących w nim u- dział i otaczających go. Autorzy przytaczają niektóre...
-
Druga edycja Konferencji Inżynierii Oprogramowania beIT
PublikacjaW dniach 18–20 marca 2016 roku na Wydziale Elektroniki, Telekomunikacji i Informatyki odbyła się II Konferencja Inżynierii Oprogramowania beIT. Podobnie jak pierwszą edycję Konferencji beIT, tegoroczne spotkanie zorganizowało Koło Naukowe Zarządzanie IT przy wsparciu Katedry Inżynierii Oprogramowania, WETI oraz JM Rektora PG. Do przeprowadzenia 15 warsztatów, 4 sesji dyskusyjnych round tables oraz 5 wykładów organizatorzy zaprosili...
-
Logika opisowa jako język modelowania oprogramowania
PublikacjaW referacie pokazano zastosowanie logiki opisowej do opisu wybranych ontologii pojawiajcych si w inynierii oprogramowania, wymagajcych wsparcia ze strony inynierii wiedzy. Omówione zagadnienia to: inynieria wymaga, opis architektury oprogramowania wysokiego poziomu, opis projektu systemu i ontologia kodu programu. Wskazano zastosowanie systemów wnioskujcych (ang. knowledge reasoner) do automatycznego odkrywania wiedzy w systemach...
-
Inspection of rubber linings operating in flue gas desulphurisation units. Inspekcje wykładzin gumowych w warunkach instalacji odsiarczania spalin.
PublikacjaPomiary metodą EIS wykładzin gumowych przeprowadzono w warunkach polowych.Stwierdzono, że najlepszym miernikiem jakości powłoki jest pojemność elektryczna powłoki. Sposób wyznaczania zwartości wilgoci w powłoce oparty został na równaniu Brashera-Kingsbury´ego. Wyniki porównano z oznaczeniami wilgoci w wykładzinie metodami niszczącymi przeprowadzonymi w tych samych miejscach co badania elektrochemiczne.
-
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.
-
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.
-
Strategia doboru oprogramowania optymalizacji transportu - przykład aplikacyjny
PublikacjaW artykule pokazano praktyczne wdrozony w praktyce przemysłowej komputerowo wspomagany system optymalizacji transportu. Na wstepie scharakteryzowano wyjsciową sytuację decyzyjną przedsiebiorstwa w połączeniu z jego parametrami logistycznymi. Z kolei pokazano techniki i narzedziaorganizacji projektu IT z wykorzystaniem modeli referencyjnych ładu korporacyjnego, na przykłądzie kaskadowego modelu życia systemu IT, procesowo-projektowej...
-
Identyfikacja modułów oprogramowania na poziomie kodu maszynowego
PublikacjaPoruszono zagadnienia porównywania elementów programów w postaci kodów binarnych. Identyfikacja podobnych do identycznych fragmentów kodu w różnych programach może stanowić podstawę do wyodrębnienia tych kodów i nadania im postaci bibliotek powszechnego użytku. W artykule pokazano wybrane metody identyfikacji takich modułów, jak również przeedstwaiono aplikację używaną do porównywania modułów oprogramowania.
-
Analiza możliwości poprawy wydajności oprogramowania systemów sieciowych
PublikacjaZaprezentowano dwie metody poprawy wydajności aplikacji sieciowych: zmiana priorytetu aplikacji poprzez przeniesienie jej do przestrzeni kernela oraz wykorzystanie wielordzeniowej natury nowych procesorów. Wskazano, że zmiana priorytetu aplikacji poprzez przeniesienie jej do przestrzeni kernela wiąże się z ryzykiem utraty stabilności jądra systemu. Wykorzystanie tej metody związane jest również z niebagatelnym nakładem inżynierskim...
-
Ryzyko etyczne w procesie wytwarzania oprogramowania [online]
PublikacjaW artykule rozpatrywane są współczesne problemy wytwarzania oprogramowania. Jednym z możliwych sposobów ich rozwiązywania jest uwzględnienie w procesie wytwarzania zagadnień ryzyka etycznego, rozumianego jako zagrożenia, jakie dla sukcesu przedsięwzięcia stwarzają problemy etyki podejmowanych decyzji, odstępstwa od obowiązującego prawa, uwarunkowań polityki prowadzenia projektu, wpływu projektu na ludzi, biorących w nim udział...
-
Model zarządzania zasobami oprogramowania w organizacjach gospodarczych
Publikacja.
-
Nowe podejście do oceny szacowania złożoności oprogramowania
PublikacjaW tej publikacji przedstawione zostały metody szacowania złożoności oprogramowania oraz ich proponowane modyfikjacje. Szacowanie złożoności jest niezbędne podczas realizacji projektu informatycznego w celu określenia jego kosztów związanych z koniecznością wykorzystania zasobów, by w rezultacie mozna było uzyskać zamierzony efekt, jakim jest dostarczenie klientowi satysfakcjonującego go produktu. Najpierw przedstawiony został teoretyczny...
-
STEVAL-MKI063V1, Przykład oprogramowania akcelerometrui magnetometru LSM303DLH
PublikacjaW artykule opisano moduł STEVAL-MKI1063V1 oparty na układzie LSM303DLHzawierającym akcelerometr i magnetometr oraz przedstawiono sposób komunikacji z nim z poziomu komputera PC na przykładzie aplikacji napisanej w języku C++/CLI (.NET).
-
Monitorowanie systemów wieloagnetowych z uzyciem oprogramowania Nagios
PublikacjaPrzyjęte rozwiązanie polega na rozszerzeniu Nagios w części dotyczącej jego wtyczek o jedną komendę (parallel_check), która pozwoli wielokrotnie – zamiast jednokrotnie – wykonać zdefiniowany dla elementu program testujący. Dodatkowo wykorzystuje się przy tym fakt, że pole address w definicji hosta nie jest interpretowane, a jedynie przechowywane i udostępniane przez Nagios. Wymienione elementy pozwalają na skonstruowanie warstwy...
-
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ą...
-
Zasady programowania i projektowania obiektow aquaparków.
Publikacja -
Modelowanie światłowodowych sensorów polarymetrycznych za pomocą oprogramowania LabVIEW
PublikacjaW komunikacie opisano aplikację umożliwiającą modelowanie pracy polarymetrycznych sensorów światłowodowych. Aplikacja ta, napisana w oparciu o platformę LabVIEW, umożliwia wyznaczenie odpowiedzi rzeczywistego sensora polarymetrycznego wykorzystującego monochromatyczne źródło światła. Omówiono problemy występujące w tworzeniu aplikacji do modelowania w graficznym środowisku do tworzenia aplikacji i zaprezentowano wybrane wyniki...
-
Wykorzystanie oprogramowania GeoGebra do wizualizacji w nauczaniu matematyki
PublikacjaW artykule zaprezentowano przykładowe aplety, które zostały przygotowane przez autorów w programie GeoGebra. Część z nich wykorzystano do stworzenia kursu elearningowego Liczby zespolone, używanego na Politechnice Gdańskiej. Inne użyto jako materiały pomocnicze w czasie tradycyjnych zajęć kursowych z matematyki dla pierwszego roku studiów, oraz podczas kursów: przygotowawczego z matematyki do matury i do studiów. Szczególną...
-
Testowanie w przyrostowym i ewolucyjnym cyklu życia oprogramowania
PublikacjaArtykuł prezentuje doświadczenia dotyczące procesu testowania złożonego systemu internetowego rozwijanego w okresie ostatnich pięciu lat. System ten powstaje w cyklu przyrostowym i ewolucyjnym, przechodząc do kolejnych wydań. Rozróżniono wydania główne, które są poprzedzane pełnym zakresem testów regresji oraz wydania rozszerzające, gdzie zakres testowania jest zawężony. Wyjaśniono miejsce procesu testowania w kontekście zarządzania...
-
Integracja modelowania i implementacji oprogramowania w metodzie IMAC.
PublikacjaDotychczasowa technologia wytwarzania oprogramowania akceptuje występowanie niespójności pomiędzy modelowaniem w języku UML a implementacją w obiektowych językach programowania. Metoda IMAC zapewnia spójność przez zastosowanie jednolitej notacji graficznej w całym projekcie informatycznym. Dzięki temu implementacja zostaje sprowadzona do uszczegółowienia diagramów projektowych i wygenerowania gotowego, funkcjonalnego kodu programu....
-
Jakość i bezpieczeństwo oprogramowania systemu E/E/PE .
PublikacjaPrzedstawiono wymagania dla bezpieczeństwa oprogramowania systemu E/E/PE w cyklu życia według EN 61508 - 3 oraz problemy związane z projektowaniem, budową, weryfikacją i walidacją modułów oprogramowania. Ukazano również problematykę związaną z integrowaniem oprogramowania ze sprzętem i wymaganiami dotyczącymi certyfikacji systemu.
-
Projekt systemu nagłośnieniowego z wykorzystaniem oprogramowania CATT-Acoustic.
PublikacjaW niniejszej pracy zawarto projekt modelu akustycznego sali audytoryjnej oraz weryfikację charakterystyk pola akustycznego tego modelu w oparciu o program CATT-Acoustic. W pracy przedstawiono również projekt systemu nagłośnienia modelowanej sali audytoryjnej, który z punktu widzenia właściwości akustycznych powinien zapewnić jak najlepszą zrozumiałość mowy. Dokonano analizy porównawczej pola akustycznego bez oraz z zaimplementowanym...