Filtry
wszystkich: 820
-
Katalog
- Publikacje 609 wyników po odfiltrowaniu
- Osoby 51 wyników po odfiltrowaniu
- Projekty 2 wyników po odfiltrowaniu
- Laboratoria 8 wyników po odfiltrowaniu
- Zespoły Badawcze 6 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 134 wyników po odfiltrowaniu
- Wydarzenia 9 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: TESTOWANIE%20OPROGRAMOWANIA
-
Analiza bezpieczeństwa usług i transakcji w systemach informatycznych
PublikacjaOmówiono zasady zapewnienia bezpieczeństwa usług elektronicznych w archi-tekturze klient - serwer w oparciu o SSL, podpis elektroniczny, PKI, certy-fikaty. Przedstawiono metodę analizy bezpieczeństwa w oparciu o przyjętą worganizacji politykę bezpieczeństwa, zastosowane modele i wykorzystane pro-cedury testowania. Celem tych rozważań jest określenie możliwości oceny iwyboru odpowiednich środków zapewniających bezpieczeństwo...
-
Nowoczesne metody inżynierii oprogramowania (studia podypl.) - edycja 2023/24
Kursy OnlineStudia podyplomowe "Nowoczesne metody inżynierii oprogramowania", prowadzone przez Katedrę Inżynierii Oprogramowania WETI PG
-
Ocena narzędzi wspomagających zarządzanie przedsięwzięciami informatycznymi na przykładzie IBM Rational Method Composer
PublikacjaRozdział przedstawia zalety i wady oprogramowania wspomagającego zarządzanie przedsięwzięciami informatycznymi. Skupia się na ocenie technologii informatycznej spopularyzowanej na rynku przez firmę IBM jako Rational Method Composer. W rozdziale zostały zaproponowane kryteria oceny z punktu widzenia menedżera zarządzającego przedsięwzięciem oraz oceny w zależności od stopnia spełnienia tego kryterium. Ponadto przeprowadzona została...
-
Analysis of the impact of aspect-oriented programming on source code quality
PublikacjaCelem rozprawy jest ocena wpływu paradygmatu aspektowego na: modularność, możliwość dalszego rozwoju oraz ponowne użycie oprogramowania. Jako punkt odniesienia do oceny paradygmatu aspektowego wybrano paradygmat obiektowy. W ramach pracy przeprowadzono studium przypadków, w którym zbadano implementacje obiektowe oraz aspektowe 11 rzeczywistych systemów i 23 wzorców projektowych. Ponadto zrealizowano kontrolowany eksperyment, w...
-
Detecting defects in object-oriented diagrams using UML-HAZOP
PublikacjaArtykuł dotyczy metody wykrywania defektów w dokumentacji oprogramowania wykonywanego z zastosowaniem notacji UML. Metoda ta, nazwana UML-HAZOP, jest adaptacją metody HAZOP szeroko stosowanej w stosunku do systemów związanych z bezpieczeństwem. Metoda ta jest ukierunkowana na wykrywanie anomalii w dokumentacji projektowej na drodze analizy ''przepływów'' pomiędzy komponentami badanego systemu. Adaptacja metody do badania oprogramowania...
-
Andrzej Wardziński dr inż.
Osoby -
Where science meets business...
PublikacjaArtykuł opisujący integrację środowisk naukowo-biznesowych za pośrednictwem Uniwersyteckiego Centrum Kompetencyjnego Technologii Oprogramowania na Wydziale Zarządzania i Ekonomii.
-
Institutionalization of knowledge sharing in a software development organization
PublikacjaZaproponowano podejście modelowe do problemu wymiany wiedzy. Omówiono implementację modelu na przykładzie instytucji zajmującej się produkcja oprogramowania komputerowego.
-
Knowledge management embedded in software engineering processes
PublikacjaW pracy omówiono systemy i narzędzia wspomagające wykrywanie wiedzy ukrytej w procesach związanych z wytwarzaniem skomplikowanych systemów oprogramowania
-
Tomasz Wierzbowski mgr inż.
Osoby -
User-System Interaction Design in IT Projects
PublikacjaMonografia omawia główne wymagania dla interfejsu użytkownika oraz przedstawia przegląd metod przydatnych do projektowania interakcji użytkownik-system, jak i do organizowania współpracy z użytkownikami w projektach informatycznych. Znaczną część monografii poświęcono zagadnieniom projektowania koncepcyjnego oraz testowania i oceny powstających rozwiązań. Szczególne miejsce zajmują różne techniki prototypownia oraz zasady prowadzenia...
-
An application of the TCRBF neural network in multi-node fault diagnosis method
PublikacjaPrzedstawiono nową metodę samo-testowania części analogowej w systemach elektronicznych sterowanych mikrokontrolerami. Układ badany pobudzany jest przebiegiem sinusoidalnym przez generator zamontowany w systemie, a jego odpowiedź jest próbkowana w wybranych węzłach przez wewnętrzny przetwornik A/C mikrokontrolera. Detekcja i lokalizacja uszkodzenia jest dokontwana przez sieć neuronową typu TCRBF. Procedurę diagnostyczną zaimplementowano...
-
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ść....
-
Inżynieria Oprogramowania 2022/2023
Kursy OnlineStudia I stopnia. Informatyka i Informatyka w Medycynie (strumień Inżynierii Biomedycznej) - sem. 5 Uwaga - kody dostępu zostaną podane na pierwszych zajęciach laboratoryjnych!
-
Jakość Oprogramowania - 2022/23
Kursy OnlineKurs dla 6 semestru studiów stacjonarnych inżynierskich. Strumień aplikacje.
-
Laboratorium Użyteczności Oprogramowania 2022
Kursy Online -
Jakość Oprogramowania - 2021/22
Kursy OnlineKurs dla 6 semestru studiów stacjonarnych inżynierskich. Strumień aplikacje.
-
2022/2023 - Licencjonowanie oprogramowania
Kursy Onlinestudia dzienne magisterskie, kierunek Informatyka
-
Projektowanie Oprogramowania Systemów 2023
Kursy Online -
Inżynieria Oprogramowania 2023/2024
Kursy OnlineStudia I stopnia. Informatyka i Informatyka w Medycynie (strumień Inżynierii Biomedycznej) - sem. 5 Uwaga - kody dostępu zostaną podane na pierwszych zajęciach laboratoryjnych!
-
Projektowanie Oprogramowania Systemów 2024
Kursy Online -
Inżynieria oprogramowania 2024/2025
Kursy OnlineStudia I stopnia. Informatyka i Informatyka w Medycynie (strumień Inżynierii Biomedycznej) - sem. 5 Uwaga - kody dostępu zostaną podane na pierwszych zajęciach laboratoryjnych!
-
Laboratorium Użyteczności Oprogramowania 2023
Kursy Online -
Szkolenie z oprogramowania SPSS
Kursy Online -
Jakość Oprogramowania - 2023/24
Kursy OnlineKurs dla 6 semestru studiów stacjonarnych inżynierskich. Strumień aplikacje.
-
2023/2024 - Licencjonowanie oprogramowania
Kursy Online -
An oscillation-based built-in test scheme with AGC loop.
PublikacjaPrzedstawiono oscylacyjny tester wbudowany (OBIT) do testowania części analogowej elektronicznego układu mieszanego sygnałowo zmontowanego na pakiecie. W celu zwiększenia współczynnika pokrycia uszkodzeń, w testerze zastosowano pomiary w dziedzinie czasu i częstotliwości. Omówiono wybrane aspekty implementacji testera, w szczególności problem transformacji układu testowanego w oscylator. Przeprowadzono analizę stanu ustalonego...
-
Projektowanie urządzeń pomiarowo-sterujących zintegrowanych z systemem KNX
PublikacjaW artykule przedstawiono zagadnienia dotyczące projektowania urządzeń automatyki budynków zgodnych ze standardem KNX. Opisano strukturę wewnętrzną urządzeń KNX i dokonano przeglądu specjalistycznych podzespołów służących do ich budowy. Przedstawiono również wymagania dotyczące certyfikacji urządzeń KNX oraz niezbędne narzędzia programistyczne. Na końcu podsumowano doświadczenia zdobyte podczas projektowania i testowania prototypu...
-
Implementacja metody diagnostycznej opartej na wielokrotnym próbkowaniu odpowiedzi czasowej w mieszanym sygnałowo mikrosystemie elektronicznym
PublikacjaPrzedstawiono nowe podejście samo-testowania toru analogowego zakończonego przetwornikiem A/C w mieszanych sygnałowo mikrosystemach elektronicznych sterowanych mikrokontrolerami. Bazuje ono na nowej metodzie diagnostycznej opartej na przekształceniu transformującym próbki odpowiedzi czasowej badanej części analogowej na pobudzenie impulsem prostokątnym na krzywe identyfikacyjne w przestrzeni pomiarowej. Metoda ta pozwala na detekcję...
-
Uporządkowane kolorowanie wierzchołków grafów
PublikacjaW pracy przedstawiamy stosunkowo nowy model kolorowania grafów, mianowicie kolorowanie uporządkowane. Po scharakteryzowaniu potencjalnych zastosowań tego modelu przedstawiamy liniowy algorytm kolorowania grafów w sposób przybliżony. Pokazujemy klasy grafów, które ten algorytm koloruje optymalnie i klasy grafów, dla których błąd pokolorowania może być dowolnie duży. Przedstawiamy również doświadczenia komputerowe zebrane w trakcie...
-
Techniki obsługi wyjątków w systemach informatycznych.
PublikacjaW pracy przedstawiono podstawowe techniki obsługi wyjątków oraz mechanizmy wspierające taką obsługę występujące w różnych platformach oprogramowania sekwencyjnego i rozproszonego.
-
WILiŚ - Kurs testowy nr 1 dla koordynatora kształcenia zdalnego
Kursy OnlineKurs testowy nr 1 dla koordynatora kształcenia zdalnego na WILiŚ PG. Przeznaczony do testowania ustawień, wprowadzania modyfikacji, korzystania z narzędzi, wychwytywania problemów, niedociągnięć związanych z realizacją kursów na platformie e-Nauczanie.
-
Metoda BP jako próba sformalizowania informatycznego projektu badawczego.
PublikacjaArtykuł prezentuje nowe iteracyjne podejście organizacji procesu do wytwarzania oprogramowania. Przedyskutowana metoda kładzie największy nacisk na zarządzanie innowacjami w projekcie informatycznym.
-
BALISTYKA DLA SNAJPERÓW: PRAKTYCZNY PORADNIK
PublikacjaJest książka z zakresu balistyki, opracowana dla snajperów, strzelców wyborowych, sportowych strzelców długodystansowych oraz myśliwych. W przystępny sposób przedstawiono w niej zagadnienia związane z balistyką wewnętrzną, zewnętrzną i końcową. Bardzo wnikliwie omówiono również celowniki optyczne, sposoby ich testowania i regulacji. Opisano zasady określania poprawek uwzględniających odległość od celu, położenie i ruch celu oraz...
-
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...
-
O mżliwościach analizy mostów stalowych
PublikacjaPrzedstawiono współczesne praktyczne możliwości analizy mostów stalowych z wykorzystaniem oprogramowania komputerowego> Podano przykłady analiz wykonanych na potrzeby prac badawczych, ekspertyz i projektów
-
Design of synchronous generator voltage regulator based on H control theory
PublikacjaSystemy dużej mocy są z reguły systemami o dużej nieliniowości. Wynika to z dynamiki takiego obiektu jak również jego konfiguracji itd. Istnieje wiele metod umożliwiających sterowanie czy testowanie zaprojektowanych generatorów. W artykule analizowana jest metoda projektowania regulatora napięcia w oparciu o H. Wyniki symulacji są zadowalające, ponieważ tak zaprojektowany regulator lepiej tłumi kołysania elektromechaniczne niż...
-
Port knocking - alternatywne rozwiązania
PublikacjaOmówiono techniki pukania w porty (ang. Port Knocking). Zaproponowano nowe wersje mechanizmu oparte o wykonanie sekwencji puknięć wieloma pakietami w jeden port: pukanie pakietami o różnej długości, przy czym długości te stanowiłyby sekwencję kodową, oraz pukanie, w którym sekwencją kodową są odcinki czasu pomiędzy pojawianiem się na porcie kolejnych pakietów. Rozważono możliwości zastosowania tego typu port knockingu i zaproponowano...
-
Adaptive selection of control parameters in differential evolution algorithms
PublikacjaW pracy przedstawiono metodę adaptacyjnej selekcji parametrów kontrolnych w różnicowych algorytmach ewolucyjnych. Wartości parametrów takich jak: stopień krzyżowania i współczynnik różnicowej mutacji są odpowiednio zmieniane. Funkcje testowe użyte do testowania proponowanej metody były zaczerpnięte z literatury. Rezultaty uzyskane przy użyciu opisanej metody zostały porównane z innymi metodami selekcji różnicowej. Wyniki te, uzyskane...
-
Modelowanie charakterystyk magnesowania przełączalnych silników reluktancyjnych z wykorzystaniem sieci neuronowych
PublikacjaW pracy przedstawiono możliwość wykorzystania sztucznej sieci neuronowej w jednej z metod analitycznych modelowania charakterystyk magnesowania przełączalnych silników reluktancyjnych. W szczególności przedstawiono uzasadnienie doboru zmiennych podawanych na warstwę neuronów wejściowych sieci, przygotowanie zbioru uczącego, walidacyjnego i testującego, wybór struktury i dobór parametrów sieci, proces uczenia t testowania oraz wyniki...
-
Application of the electrochemical quartz crystal microbalance in corrosionstudies
PublikacjaPrzegląd niniejszy opisuje zastosowania elektrochemicznej wagi kwarcowej (EQCM) w badaniach korozyjnych. Przedstawione zostały dwa główne obszary badań. Jeśli chodzi o badania mechanizmów korozji, mikrowaga elektrochemiczna była wykorzystywana jako narzędzie do testowania korozji miedzi, niklu, cynku, aluminium i stopów. Była użyteczna w określaniu mechanizmów roztwarzania albo pasywacji w różnych warunkach. Drugim kierunkiem wykorzystania...
-
Zastosowania elektrochemicznej mikrowagi kwarcowej w badaniach korozyjnych
PublikacjaPrzegląd niniejszy opisuje zastosowania elektrochemicznej wagi kwarcowej (EQCM) w badaniach korozyjnych. Przedstawione zostały dwa główne obszary badań. Jeśli chodzi o badania mechanizmów korozji, mikrowaga elektrochemiczna była wykorzystywana jako narzędzie do testowania korozji miedzi, niklu, cynku, aluminium i stopów. Była użyteczna w określaniu mechanizmów roztwarzania albo pasywacji w różnych warunkach. Drugim kierunkiem wykorzystania...
-
AAM toolkit: a system for visual object appearance modeling
PublikacjaAktywne modele wyglądu (AAM) mogą być traktowane jako zaawansowana metoda analizy informacji multimedialnych, pozwalająca na lokalizowanie i rozpoznawanie obiektów w obrazach statycznych i sekwencjach wideo. Pomimo tego że ukazało się wiele publikacji dotyczących AAM, przejście od koncepcji teoretycznych do działającej implementacji stanowi nadal duże wyzwanie. W pracy przedstawiono przygotowany przez autorów pakiet oprogramowania...
-
Badania efektów mechanicznej owalizacji ziaren elektrokorundu szlachetnego w wygładzarce bębnowej.
PublikacjaPrzedstawiono skomputeryzowaną analizę kształtu i wielkości ziaren ściernych przy użyciu specjalistycznego oprogramowania MultiScan v 6.08. Badano efekty mechanicznej owalizaji ziaren elektrokorundu w wygładzarce bębnowej.
-
Środowiska wspierające (narzędzia CASE)
PublikacjaPraca omawia współczesne środowiska i narzędzia CASE, wspierające procesywytwórcze. Część omówienia poświęcona jest narzędziom wspomagającym tworze-nie oprogramowania równoległego i wspomagającym zrównoleglanie programów se-kwencyjnych.
-
MODEL FOR MEASUREMENT OF FLOW INSTALLATION TIME IN SDN SWITCH
PublikacjaSDN is the approach in telecommunication networks that separates control plane from data forwarding plane by specifying a single network entity as a controller that defines rules (called flows) of traffic forwarding for the switches connected to it. The time that is required for installation of these rules might be a hindrance for the overall performance of SDN network. In the paper, a model for testing and evaluating the influence...
-
A Quality Model for UML tools
PublikacjaJakość narzędzi UML wpływa na efektywność wykonywania zadań związanych z modelowaniem systemów w procesie wytwarzania oprogramowania. Celem badań prezentowanych w tym referacie jest wyodrębnienie kryteriów jakości narzędzi UML. Omówiono rolę narzędzi UML w projekcie informatycznym, a następnie zaprezentowano szereg kryteriów jakości narzędzi UML wraz z aspektami oceny oraz opisem ankiety, która służy do oceny narzędzi względem...
-
A laboratory model of an inspection vehicle. [Model laboratoryjny pojazdu inspekcyjnego]
PublikacjaW pracy opisano konstrukcję laboratoryjnego modelu pojazdu inspekcyjnego oraz zaproponowano system wielowątkowego sterowania pojazdem. Do budowy autonomicznego pojazdu wykorzystano napędzany elektrycznie już istniejący model laboratoryjny samochodu osobowego. Konstruowany pojazd wyposażono w specjalnie zaprojektowane elektroniczne układy czujnikowe pozwalające wykrywać i śledzić zaznaczoną kolorem czarnym trasę oraz mierzyć odległości...
-
Efekty mechanicznej owalizacji kształtu i wygładzania ziaren elektrokorundu
PublikacjaW artykule przedstawiono wyniki skomputeryzowanej analizy kształtu i wielkości ziaren ściernych przy użyciu specjalistycznego oprogramowania MultiScan v.6.08. Badano efekty mechanicznej owalizacji kształtu ziaren elektrokorundu szlachetnego.
-
Cztery algorytmy, które wstrząsnęły światem. Część III: Sprzęt czy oprogramowanie
PublikacjaW ostatniej części tryptyku poruszamy problem przyjaznego rysowania grafów oraz prezentujemy algorytmy dla szybkiego mnożenia macierzy. Nasze rozważania kończymy ilustracją postępu w dziedzinie sprzętu i oprogramowania