Wyniki wyszukiwania dla: INSPEKCJE OPROGRAMOWANIA

• Zasady programowania w Internecie

  Publikacja

  • R. Knopa

  - Rok 2006

  Przedstawiono ś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

  Publikacja

  • W. Malina
  • M. Szwoch

  - Rok 2008

  Książ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.

  Publikacja

  • M. Cichocki

  - Rok 2003

  Przedstawiono 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

  Publikacja

  • S. Szejko

  - Rok 2004

  Artykuł 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...

• Ryzyko etyczne w procesie wytwarzania oprogramowania

  Publikacja

  • M. Ganzha
  • S. Szejko

  - Rok 2003

  Praca 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...

• Zastosowania metody HAZOP w inżynierii oprogramowania.

  Publikacja

  • A. Jarzębowicz

  - Rok 2003

  Artykuł 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...

• Logika opisowa jako język modelowania oprogramowania

  Publikacja

  • P. Kapłański

  - Rok 2008

  W 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...

  Pełny tekst do pobrania w serwisie zewnętrznym

• Druga edycja Konferencji Inżynierii Oprogramowania beIT

  Publikacja

  • A. Matejuk
  • J. Miler

  - Pismo PG - Rok 2016

  W 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...

  Pełny tekst do pobrania w serwisie zewnętrznym

• Inspection of rubber linings operating in flue gas desulphurisation units. Inspekcje wykładzin gumowych w warunkach instalacji odsiarczania spalin.

  Publikacja

  • S. Krakowiak
  • K. Darowicki

  - PROGRESS IN ORGANIC COATINGS - Rok 2003

  Pomiary 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.

• Wykonanie i oprogramowanie robota kroczącego

  Publikacja

  • M. Raczyk
  • T. Sobiech
  • R. Piotrowski

  - Mechanik - Rok 2016

  Jednym 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.

  Pełny tekst do pobrania w serwisie zewnętrznym

• Wybrane zagadnienia licencji na oprogramowanie

  Publikacja

  • A. Bobkowska
  • D. Zieliński

  - Rok 2011

  W 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...

• Współbieżność w obiektowych językach programowania.

  Publikacja

  • W. Porębski

  - Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne - Rok 2003

  Praca 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

  Publikacja

  • L. Zawadzka
  • J. Badurek

  - Rok 2008

  W 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

  Publikacja

  • A. Jędruch
  • M. Narwojsz

  - Zeszyty Naukowe Wydziału ETI Politechniki Gdańskiej. Technologie Informacyjne - Rok 2008

  Poruszono 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

  Publikacja

  • M. Hasse
  • K. Nowicki

  - Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne - Rok 2009

  Zaprezentowano 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]

  Publikacja

  • M. Ganzha
  • S. Szejko

  - Rok 2005

  W 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

  • S. Wilczewski

  - Ekonomika i Organizacja Przedsiębiorstwa - Rok 2010

  .

  Pełny tekst do pobrania w portalu

• Nowe podejście do oceny szacowania złożoności oprogramowania

  Publikacja

  • K. Ossowska
  • C. Orłowski

  - Rok 2014

  W 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...

• Monitorowanie systemów wieloagnetowych z uzyciem oprogramowania Nagios

  Publikacja

  • A. Opaliński

  - Rok 2012

  Przyję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...

  Pełny tekst do pobrania w serwisie zewnętrznym

• STEVAL-MKI063V1, Przykład oprogramowania akcelerometrui magnetometru LSM303DLH

  Publikacja

  • M. Galewski

  - Elektronika Praktyczna - Rok 2013

  W 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).