Rok 2003

• Collecting and classification web data for business using a web farming system

  Publikacja

  • J. Ciarkowski
  • K. Goczyła

  - Rok 2003

  Praca prezentuje system typu Web Farming oraz aspekty związane z jego działaniem.

• Database systems for tomorrow: new challenges and research areas

  Publikacja

  • K. Goczyła

  - TASK Quarterly - Rok 2003

  Zaprezentowano nowe obszary badawcze w dziedzinie baz danych, które będą rozwijane w najbliższej przyszłości. Omówiono takie obszary jak systemy typu ''Plug and Play'', duże systemy sfederowane, nowe architektury systemów baz danych oparte na dużych buforach pamięciowych, integracja danych i aplikacji oraz bazy danych semistrukturalnych.

• Efektywność metod modelowania systemów z perspektywy psychologii poznawczej.

  Publikacja

  • A. Bobkowska

  - Rok 2003

  Psychologiczne dopasowanie metod modelowania systemów i narzędzi CASE do profilu wykonawcy ma istotny wpływ na efektywność pracy rozumianą chociażby jako czas wykonania zadania, ilość wprowadzonych defektów, łatwość pracy,czy też łatwość wykorzystania rezultatów. W referacie zaprezentowano dwa podejścia do oceny metod modelowania z perspektywy poznawczej. W pierwszym podejściu wykorzystano zbiór wymiarów poznawczych, natomiast...

• Gotowość szpitali do wdrożenia informatycznego wspomagania procesów dystrybucji stosowania leków - studium przypadku.

  Publikacja

  • J. Górski
  • P. Sieliwończyk

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

  W artykule przedstawiono wyniki badań przeprowadzonych w środowisku krajowych placówek ochrony zdrowia w celu oceny ich gotowości do stosowania zaawansowanych systemów informatycznych wspomagających procesy dystrybucji i stosowania leków. Badaniami objęto cztery szpitale, w tym zarówno duże państwowe jak i specjalistyczne prywatne. Przebadano punkty widzenia kierownictwa, lekarzy i pielęgniarek oddziałowych oraz aptek szpitalnych....

• Metoda BP jako próba sformalizowania informatycznego projektu badawczego.

  Publikacja

  • T. Grabowska
  • M. (. Olszewski
  • W. Waloszek
  • M. Zawadzki

  - Rok 2003

  Artykuł prezentuje nowe iteracyjne podejście organizacji procesu do wytwarzania oprogramowania. Przedyskutowana metoda kładzie największy nacisk na zarządzanie innowacjami w projekcie informatycznym.

• OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.

  Publikacja

  • T. Cichocki
  • J. Górski

  - Rok 2003

  Artykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...

• Podejście obiektowe w budowie dowodu zaufania do systemów informatycznych.

  Publikacja

  • J. Górski
  • A. Jarzębowicz
  • R. Leszczyna
  • J. Miler
  • M. (. Olszewski

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

  Artykuł prezentuje obiektowe podejście w budowie dowodów zaufania dla systemów informatycznych. Przedstawiono strukturę koncepcyjną takiego dowodu,omówiono sposób konstrukcji drzewa dowodowego wykorzystujący analizę modeli obiektowych badanego systemu. W artykule zaproponowano sposób tworzenia obiektowych modeli kontekstu dla rozpatrywanych żądań oraz podkreślono wagę precyzyjnego wyrażenia tego kontekstu. Ponadto omówiono...

• Providing for continuous risk management in distributed software projects.

  Publikacja

  • J. Górski
  • J. Miler

  - Rok 2003

  Artykuł prezentuje koncepcję ciągłego zarządzania ryzykiem w rozproszonych projektach informatycznych. Proponowane podejście koncentruje się na dostarczeniu uczestnikom projektu szerokiego i łatwo dostępnego kanału komunikacyjnego, przez który mogą oni komunikować informację o ryzyku. Zebrane informacje mogą być później analizowane pod różnymi kątami tak, by wybrać największe zagrożenia dla projektu lub też by prześledzić...

• Safety of computer control systems: challenges and results in software development.

  Publikacja

  • J. Zalewski
  • W. Ehrenberger
  • F. Saglietti
  • J. Górski
  • A. Kornecki

  - ANNUAL REVIEWS IN CONTROL - Rok 2003

  Artykuł dokonuje przeglądu wybranych wyników dotyczących poprawy bezpieczeństwa komputerowych systemów sterowania. Dyskusja pokrywa szeroki zakres aspektów dotyczących procesu wytwarzania takich systemów. W szczególności omówiono zagadnienia dotyczące różnorodności oprogramowania, oprogramowania off-the-shelf, analizy typów awarii i ich efektów oraz formalizacji procesu wytwórczego.

• Środowisko wspomagające zarządzanie ryzykiem w przedsięwzięciach informatycznych.

  Publikacja

  • J. Miler
  • J. Górski

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

  Artykuł prezentuje środowisko komputerowe wspierające proces zarządzania ryzykiem w przedsięwzięciach informatycznych. We wstępie wprowadzono charakterystykę procesu zarządzania ryzykiem oraz przedstawiono podział tego procesu na poszczególne fazy. Następnie omówiono potrzeby informatycznego wsparcia zarządzania ryzykiem i zaproponowano prototypowe narzędzie system Risk Guide. Opisano zakres oferowanego wsparcia i wbudowaną...

• Tool support for detecting defects in object-oriented models

  Publikacja

  • J. Górski
  • A. Jarzębowicz
  • R. Leszczyna
  • J. Miler
  • M. (. Olszewski

  - Rok 2003

  Artykuł przedstawia nową metodę analityczną UML-HAZOP oraz narzędzie wspomagające jej stosowanie. Metoda ukierunkowana jest na wykrywanie defektów we wczesnych fazach wytwarzania oprogramowania i koncentruje się na powszechnie stosowanych modelach opartych na metodyce obiektowej.

• Wspomaganie wykrywania defektów w modelach obiektowych.

  Publikacja

  • J. Górski
  • A. Jarzębowicz
  • R. Leszczyna
  • J. Miler
  • M. (. Olszewski

  - Zeszyty Naukowe Wydziału Elektroniki i Informatyki - Rok 2003

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

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

Rok 2002

• Detecting defects in object-oriented diagrams using UML-HAZOP

  Publikacja

  • J. Górski
  • A. Jarzębowicz

  - Foundations of Computing and Decision Sciences - Rok 2002

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

• Strategia zapewnienia jakości oprogramowania.

  Publikacja

  • A. Bobkowska

  - Rok 2002

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

• Struktury danych.

  Publikacja

  • K. Goczyła

  - Rok 2002

  Praca stanowi podręcznik dla studentów pierwszych lat informatyki. Prezentuje ona podstawowe struktury danych stosowane w programach komputerowych wraz z algorytmami, ukierunkowanymi na przechowywanie informacji oraz operowanie informacją przy użyciu tych struktur. W podręczniku omówiono m.in. następujące zagadnienia: tablice uporządkowane, tablice rozproszone, sortowanie tablic, listy, drzewa binarne, drzewa wyszukiwawcze,...

• Studium Wykonalności projektu informatycznego.

  Publikacja

  • S. Szejko

  - Rok 2002

  Rozdział przedstawia przedmiot, cele i zakres Studium Wykrywalności oraz jego usytuowanie w cyklu życia projektu informatycznego. Omawiane są obszary dokonywanej oceny - wykrywalność techniczna, organizacyjna, zestawienia nakładów i oczekiwanych korzyści, elementy ryzyka i aspekty prawne. Proponowany jest zakres i kształt Raportu Wykrywalności, stanowiącego dokument kończący Studium. Prezentację kończy omówienie zawartości...