Wyszukiwarka
Katedra Inżynierii Oprogramowania
Publikacje
Filtry
wszystkich: 477
Katalog Publikacji
Rok 2006
-
Zastosowanie szablonów Trust Case w pracy z normą BS 7799
PublikacjaTrust Case stanowi strukturę danych zawierającą argumentację oraz związany z nią materiał dowodowy uzasadniający, że interesujący nas obiekt (system, infrastruktura, organizacja) posiada wskazane własności. Wykorzystanie Trust Case do analizy i uzasadniania zaufania do systemów IT jest przedmiotem aktywnych badań. Podejście to znalazło zastosowanie w stosunku do systemów związanych z bezpieczeństwem (ang. safety critical), a ostatnio...
-
Zależności między ontologiami i ich wpływ na problem integracji ontologii
PublikacjaZarządzanie wiedzą w środowisku rozproszonym wymaga opracowania efektywnej metody integracji ontologii. W tym celu w ramach różnych prac zaproponowano wykorzystanie różnorodnych algorytmów. Między innymi zaproponowano pewne algorytmy wspomagające proces integracji ontologii oparty na metodzie kartograficznej, której główną cechą jest wykorzystanie sygnaturowej reprezentacji terminów zdefiniowanych w ontologii. Dobór odpowiednich...
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublikacjaAutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów...
-
Współczesne trendy w dziedzinie systemów zdalnego nauczania
PublikacjaArtykuł porusza tematykę zdalnego nauczania i przedstawia obszary zastosowań tej szerokiej dziedziny wiedzy. Wskazuje na różnorodność form zdalnego kształcenia. Wyróżnia nauczanie w modelu całkowicie przeniesionym do Internetu oraz nauczanie w modelu hybrydowym. Dla tych obszarów wymagania, jakie są stawiane stosowanym systemom informatycznym, są odmienne. Przedstawiono systematykę narzędzi wspomagających dla zdalnego nauczania....
Rok 2003
-
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...
-
Wspomaganie wykrywania defektów w modelach obiektowych.
PublikacjaModelowanie z zastosowaniem metodyki obiektowej jest powszechnie wykorzystywane w projektach informatycznych i stanowi jeden z kluczowych etapów procesu wytwarzania oprogramowania. Problemem związanym z modelowaniem jest łatwość wprowadzenia do modeli obiektowch defektów wynikających np. ze złego rozpoznania dziedziny problemowej, przyjmowania nieświadomych założeń lub zwykłych pomyłek edycyjnych. Istotne jest szybkie wykrycie...
Rok 2012
-
Zarządzanie zgodnością ze standardami akredytacyjnymi w chmurze obliczeniowej
PublikacjaRosnące znaczenie akredytacji usług medycznych, w szczególności świadczonych przez szpitale, wymaga rozwoju wsparcia informatycznego. Artykuł przedstawia usługi informatyczne NOR-STA wspomagające i integrujące procesy osiągania, oceny i utrzymania zgodności z normami i standardami. Omówiono zakres usług, sposób ich dostarczania, a także wskazano na główne korzyści takie jak przejrzysty przegląd standardów, uporządkowanie dokumentów,...
-
Zarządzanie zaufaniem w bezprzewodowych sieciach czujników - studium przypadku
PublikacjaW artykule przedstawiono studium przypadku dotyczące zastosowania bezprzewodowej sieci czujników do wspomagania pacjenta z nadwagą w jego środowisku domowym. Przyjęto, że sieć wykorzystuje metodę rozproszonego zarządzania zaufaniem i pokazano, że metoda ta umożliwia wykrycie i izolację czujników realizujących działania sprzeczne z polityką sieci. Ilościowe oszacowanie czasu niezbędnego do wykrycia takich...
Rok 2008
-
Zarządzanie wiedzą ontologiczną w środowisku semantycznego internetu
PublikacjaW rozdziale zaprezentowano wyniki grupy badawczej Knowledge Management Group at Gdańsk University of Technology (KMG@GUT) w zakresie nowych metod reprezentacji i przetwarzania wiedzy sformułowanej w formie ontologii. Metody te wpisują się w aktualne kierunki rozwojowe inicjatywy Semantic Web: wykorzystują do zapisu ontologii logikę opisową (a więc są zgodne ze standardem OWL-DL), biorą pod uwagę rozproszenie wiedzy pomiędzy różne...
Rok 2013
-
Zarządzanie programami badawczymi z uwzględnieniem filozofii nauki
PublikacjaZarządzanie projektami i programami badawczymi powinno być realizowane z zastosowaniem specyficznych metod zarządzania ze względu na specyfikę badań naukowych. W tym rozdziale zaprezentowano wyniki analiz mających na celu lepsze zrozumienie roli zarządzania programem badawczym z następujących perspektyw: analizy rzeczywistości projektów badawczych, zarządzania projektem i programem oraz filozofii nauki. Praktycznym zastosowaniem...
Rok 2017
-
Zarządzanie kreatywnością w projekcie
PublikacjaW kontekście innowacyjności oraz badań w obszarze nauk technicznych pojawia się problem efektywnego zastosowania metod kreatywności w konkretnej sytuacji projektowej oraz weryfikacji wyników podejmowanych działań kreatywnych. Celem referatu jest zaproponowanie podejścia do zarządzania kreatywnością w projekcie w oparciu o wiedzę pochodzącą z psychologii kreatywności. Zaprezentowano ramy zarządzania kreatywnością z zastosowaniem...
Rok 2015
-
Zarządzanie inżynierskimi projektami badawczymi z uwzględnieniem filozofii badań w inżynierii i technologii
PublikacjaCelem prac opisanych w rozdziale jest analiza możliwości zastosowania filozofii badań w inżynierii i technologii w zarządzaniu inżynierskim projektem badawczym. Analiza obejmuje wybór praktycznych zagadnień z obszaru filozofii badań w inżynierii i technologii oraz próbę integracji wiedzy z powiązanych obszarów w celu efektywnego zarządzania inżynierskim projektem badawczym. W filozofii badań w inżynierii i technologii...
Rok 2007
-
Zapożyczenie z badań marketingowych do badania rzeczywistości projektowej
PublikacjaBadanie rzeczywistości projektowej jest istotne zarówno z punktu widzenia dydaktyki, jak i prowadzenia badań w inżynierii oprogramowania. Podczas opracowywania efektywnej metody badania rzeczywistości projektowej można wykorzystać wiedzę z innych dyscyplin. W referacie zaprezentowano zapożyczenie metody projektowania badania z dziedziny badań marketingowych. Kolejne rozdziały zawierają: opis zapożyczenia, zarys metody podlegającej...
-
Zaawansowane rozwiązania projektowe aplikacji typu Rich Internet Application
PublikacjaRich Internet Application (RIA) jest modelem aplikacji internetowych zyskującym w ostatnim czasie coraz większą popularność. Jednym ze sposobów jego realizacji jest paradygmat AJAX. Stosowane w nowatorski sposób, istniejące od wielu lat technologie pozwalają osiągnąć niespotykane dotąd możliwości. Wieloletnie doświadczenia programistów powodują jednak, że w aplikacjach tego typu stosuje się często rozwiązania projektowe przeznaczone...
-
XML-based monitoring and its implementation in Perl
PublikacjaArtykuł ten omawia w sposób ogólny problem monitorowania systemów informacyjnych oraz opisuje system monitoringu wytworzony w firmie Lufthansa Systems w celu monitorowania systemów informatycznych swoich klientów. Artykuł koncentruje się głównie na XMLowym mechaniźmie przetwarzania danych użytym w tym systemie, opisuje on jednak również skrótowo pozostałe zasady jego działania. Zostały również omówione podstawy przetwarzania danych...
-
współczesne trendy w dziedzinie zdalnego nauczania
PublikacjaZdalne nauczanie jest dziedziną starszą niż Internet i komputery. Pojęcie zdalnej edukacji oznacza nauczanie prowadzone w warunkach, gdy nauczyciel i uczeń są od siebie oddaleni w przestrzeni. W czasach, gdy podróżowanie było bardzo kosztowne, posługiwano się kursami korespondencyjnymi, które można uznać za pierwszą formę zdalnego nauczania. W miarę spadku kosztów podróży coraz częstsze stawały się wyjazdy do szkół, jednak nauczanie...
Rok 2010
-
Zapewnianie bezpieczeństwa kluczowych plików w systemie operacyjnym Linux
PublikacjaZagrożenie bezpieczeństwa systemów komputerowych wynika z możliwości niepowołanego dostępu do danych zapisanych w kluczowych plikach. Dlatego poszukiwanie mechanizmów zapewniania bezpieczeństwa informacji to współcześnie ważny problem w dziedzinie informatyki. W artykule zostanie przedstawione nowe podejście do polityki zabezpieczania plików systemowych w komputerach personalnych i serwerach. Zaprezentowany zostanie system o nazwie...
-
Wykorzystanie taksonomii do integracji danych w zasobach Internetu
PublikacjaRozproszony zbiór danych internetowych można zintegrować i efektywnie zorganizować wykorzystując możliwości usług sieciowych i taksonomii. W artykule przedstawiono wyniki pomiarów nakładu pracy niezbędnej do budowy usług sieciowych publikujących zorganizowane zbiory danych. Omówiono zasady ręcznej i automatycznej budowy taksonomii. Przeanalizowano problemy optymalizacji takiej struktury oraz korzyści z kolorowania nazw wyróżnionych...
Rok 2014
-
Zagadnienia w interdyscyplinarnym podejściu do wytwarzania systemów dla administracji publicznej
PublikacjaRaport "Państwo 2.0" opisuje szereg problemów występujących podczas informatyzacji państwa. Celem artykułu jest zaprezentowanie podejścia interdyscyplinarnego do wytwarzania systemów dla podmiotów administracji publicznej. Zakres pracy obejmuje identyfikację powiązanych dyscyplin i określenie ich perspektyw; analizę zagadnień występujących na styku wytwarzania systemów dla administracji publicznej oraz tradycyjnych podejść w powiązanych...
Rok 2011
-
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...