Department of Software Engineering - Administrative Units - Bridge of Knowledge

Search

Department of Software Engineering

Filters

total: 480

  • Category
  • Year
  • Options

clear Chosen catalog filters disabled

Catalog Publications

Year 2006
Year 2003
Year 2012
  • Zarządzanie zgodnością ze standardami akredytacyjnymi w chmurze obliczeniowej
    Publication

    Rosną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,...

    Full text to download in external service

  • Zarządzanie zaufaniem w bezprzewodowych sieciach czujników - studium przypadku

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

  • Wpływ analizy prawnej na wizję Systemu Ochrony Własności Intelektualnej
    Publication

    - Year 2012

    Rozdział omawia analizę zagadnień prawnych będących podstawą tworzenia systemów ochrony własności intelektualnej (SOWI). Opisano powiązane przepisy i normy prawne, a także wskazano, w jakim stopniu wynikianalizy prawnej wpływają na wizję systemu ochrony własności intelektualnej.

  • Virtual teachers - a future or just a dream?
    Publication

    - Year 2012

    Rozdział dotyczy tematyki inteligentnych systemów uczących, w tym szczególny nacisk jest położony na wizualizowane postaci pojawiające się w systemach zdalnej edukacji (wirtualni mentorzy, wirtualni nauczyciele). Rozdział wskazuje cele budowania wirtualnych nauczycieli i pokazuje wybrane zadania, które mogą one realizować. Opisuje kilka przykładów wirtualnych mentorów, w tym bota wirtualnego nauczyciela GERDA tworzonego na Wydziale...

  • Validation of Services Supporting Healthcare Standards Conformance

    The paper presents the results of experimental validation of a set of innovative software services supporting processes of achieving, assessing and maintaining conformance with standards and regulations. The study involved several hospitals implementing the Accreditation Standard promoted by the Polish Ministry of Health. First we introduce NOR-STA services that implement the TRUST-IT methodology of argument management. Then we...

    Full text available to download

  • Trust management in WSN - case study evaluation
    Publication

    - Year 2012

    Full text available to download

  • Towards context-semantic knowledge bases
    Publication

    W artykule dyskutujemy zagadnienie projektowania kontekstowych baz wiedzy. W oparciu o tezę, że kontekstualizacja jest integralną części procesu konceptualizacji, przeprowadzamy rozszerzenie wybranych pojęć metody OntoClean tak, by choć częściowo uwzględniała ten fakt. Wprowadzamy także definicję ważnego pojęcia semantycznej kontekstowej bazy wiedzy i pokazujemy, że bazy zgodne z modelem SIM spełniają tę definicję.

    Full text to download in external service

Year 2008
  • Zarządzanie wiedzą ontologiczną w środowisku semantycznego internetu

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

  • Verification of the fit to user profiles for UML tools
    Publication

    - Year 2008

    Dopasowanie do profilu użytkownika ma wpływ na efektywność pracy użytkownika. W referacie postawiono pytanie, czy narzędzia UML rzeczywiście wspomagają pracę konkretnych ról w procesie wytwarzania oprogramowania. W ramach prac wykonano następujace zadania: opisano profile użytkowników narzędzi UML; wyodrębniono cechy narzędzi UML, które mają wpływ na dopasowanie do profili użytkowników; zaprojektowano model pokazujący związek pomiędzy...

    Full text to download in external service

  • The role and construction of educational agents in distance learning environments
    Publication

    - Year 2008

    Artykuł przedstawia definicję oraz klasyfikację agentów edukacyjnych. Wskazuje typowe cele i zadania agentów, a także omawia schemat ich budowy i funkcjonowania. Wskazano także różnorodność możliwości, jakie stwarzają różne rodzaje agentów w procesie nauczania. W artykule opisano także wytworzony w ramach badań prototyp agenta WAS, którego zadaniem jest wspomaganie uczniów w zakresie pracy z materiałami edukacyjnymi.

    Full text to download in external service

  • Techniki modularyzacji ontologii
    Publication

    W ciągu ostatnich kilku lat tematem wielu prac naukowych stała się modularyzacja ontologii. Istnieje kilka przyczyn dużego zainteresowania tym kierunkiem prac. Z jednej strony ontologie wykazały swoją przydatność w różnego rodzaju przedsięwzięciach związanych z inicjatywą Semantic Web. Z drugiej strony okazało się, że po przekroczeniu pewnej granicy wielkości ontologii inżynierowie wiedzy natykają się na problemy, z którymi inżynieria...

  • Techniki inżynierii oprogramowania służące do tworzenia portali o określonych własnościach społecznych
    Publication

    W referacie zawarto próbę odpowiedzi na następujące pytanie: czy w czasie wytwarzania oprogramowania można wpływać na własności społeczne tworzonych portali? zakładając, że jest to możliwe, poszukiwane są takie techniki z pogranicza socjologii i inżynierii oprogramowania, które będą udostępniały analitykom i projektantom oprogramowania pewien proces, dzięki któremu możliwe będzie systematyczne i świadome kontrolowanie tych własności...

Year 2013
  • Zarządzanie programami badawczymi z uwzględnieniem filozofii nauki
    Publication

    - Year 2013

    Zarzą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...

  • Visual Dimensions of Modeling Languages in Interdisciplinary Perspective
    Publication

    - Year 2013

    Użyteczność języków modelowania wizualnego zależy od notacji. Notacja może być postrzegana jako zestaw wizualnych komponentów, które w określony sposób oddziałują na ludzkie oko i ludzki mózg. Referat przedstawia analizę interdyscyplinarną wykonaną w celu lepszego zrozumienia wizualnych wymiarów języków modelowania. Wizualne wymiary pochodzą z teorii opisujących percepcję wzrokową, wizualizację danych oraz reprezentacje poznawcze....

    Full text to download in external service

  • Using evidence based arguments to support trust
    Publication

    - Year 2013

    Wprowadzono podstawowe koncepcje metodyki TRUST-IT: argumentu i dowodu, modelu argumentacji, szablonu argumentacji, oceny argumentu oraz kontekstu aplikacyjnego. Przedstawiono zakres funkcjonalności, modele udostepniania oraz politykę bezpieczeństwa informacji związane z usługami NOR-STA wspomagającymi zastosowania metodyki TRUST-IT. Przedstawiono również dotychczasowe doświadczenia związane z wdrażaniam uzług NOR-STA w różnych...

    Full text to download in external service

  • Towards Agile Development of Critical Software
    Publication

    The paper presents a case study aiming at collecting opinions of software en-gineers on the risks related to integration of agile practices to safety-critical software development projects. The study has been performed within the scope of our research targetting at providing critical software developers with a comprehensive solution allowing to incorporate agile practices into software development process while still being conformant...

    Full text to download in external service

  • Theoretical and Architectural Framework for Contextual Knowledge Bases

    The paper presents the approach aimed at building modularized knowledge bases in a systematic, context-aware way. The paper focuses on logical modeling of such knowledge bases, including an underlying SIM metamodel. The architecture of a comprehensive set of tools for knowledge-base systems engineering is presented. The tools enable an engineer to design, create and edit a knowledge base schema according to a novel context approach...

Year 2017
  • Zarządzanie kreatywnością w projekcie

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

    Full text available to download

  • Uniform Model Interface for Assurance Case Integration with System Models
    Publication

    - Year 2017

    Assurance cases are developed and maintained in parallel with corresponding system models and therefore need to reference each other. Managing the correctness and consistency of interrelated safety argument and system models is essential for system dependability and is a nontrivial task. The model interface presented in this paper enables a uniform process of establishing and managing assurance case references to various types...

    Full text available to download

  • Trust Management Method for Wireless Sensor Networks
    Publication

    - Year 2017

    A Wireless Sensor Network (WSN) is a network of spatially distributed autonomous sensors to monitor physical or environmental conditions, such as temperature, sound, pressure, etc. and to cooperatively pass their data to the main location. The first wireless network that bore any real resemblance to a modern WSN is the Sound Surveillance System (SOSUS), developed by the United States Military in the 1950s to detect and track Soviet...

    Full text available to download

  • Top k Recommendations using Contextual Conditional Preferences Model

    Recommender systems are software tools and techniques which aim at suggesting to users items they might be interested in. Context-aware recommender systems are a particular category of recommender systems which exploit contextual information to provide more adequate recommendations. However, recommendation engines still suffer from the cold-start problem, namely where not enough information about users and their ratings is available....

    Full text available to download

  • The Algorithm of Modelling and Analysis of Latent Semantic Relations: Linear Algebra vs. Probabilistic Topic Models
    Publication

    - Year 2017

    This paper presents the algorithm of modelling and analysis of Latent Semantic Relations inside the argumentative type of documents collection. The novelty of the algorithm consists in using a systematic approach: in the combination of the probabilistic Latent Dirichlet Allocation (LDA) and Linear Algebra based Latent Semantic Analysis (LSA) methods; in considering each document as a complex of topics, defined on the basis of separate...

    Full text available to download

Year 2015
  • Zarządzanie inżynierskimi projektami badawczymi z uwzględnieniem filozofii badań w inżynierii i technologii
    Publication

    - Year 2015

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

  • Web Questionnaire as Construction Method of Affect-annotated Lexicon - Risks Reduction Strategy
    Publication

    - Year 2015

    The paper concerns credibility of construction methods for affect-annotated lexicons, specifically a web questionnaire is explored and evaluated. Web-based surveys are susceptible to some risks, which might influence credibility of the results, as some participants might perform random clicks or intentionally falsify the responses. The paper explores the risks and proposes some strategies to reduce them. The strategies are supported...

    Full text to download in external service

  • Towards Emotion Acquisition in IT Usability Evaluation Context
    Publication

    - Year 2015

    The paper concerns extension of IT usability studies with automatic analysis of the emotional state of a user. Affect recognition methods and emotion representation models are reviewed and evaluated for applicability in usability testing procedures. Accuracy of emotion recognition, susceptibility to disturbances, independence on human will and interference with usability testing procedures are...

    Full text to download in external service

  • TOPOLOGICAL CLUES FOR PREDICTING OUTCOMES OF MULTIPLAYER ONLINE BATTLE ARENA GAMES
    Publication

    - Year 2015

    With 27 million people playing League of Legends every day, e-sports became more and more important part of our everyday life. Rise of its popularity builds a demand for better understanding e-sports mechanics on a deeper level. In the article, we test a hypothesis that it is possible to predict an outcome of Multiplayer Online Battle Arena game based on topological clues only (such as area of polygon where vertices are players...

    Full text to download in external service

  • Testy platformy SAN dla sektora elektroenergetycznego

    Współczesna infrastruktura elektroenergetyczna jest narażona na zagrożenia związane z dużą liczbą nowych luk i słabo- ści architektonicznych wynikających z szerszego wykorzystania technologii informacyjnych i komunikacyjnych (ang. Information and Communication Technologies – ICT). Połączenie infrastruktury elektroenergetycznej z Internetem naraża ją na nowe rodzaje ataków, takie jak ataki typu APT (ang. Advanced Persistent Threats)...

    Full text available to download

Year 2007
  • Zapożyczenie z badań marketingowych do badania rzeczywistości projektowej

    Badanie 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
    Publication

    - Year 2007

    Rich 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
    Publication

    - Year 2007

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

    - Year 2007

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

  • Wnioskowanie z dziedzin konkretnych w podejściu kartograficznym
    Publication

    Wiele zjawisk w świecie rzeczywistym opisujemy, korzystając z liczb i symboli. W logice opisowej służą do tego tzw. dziedziny konkretne, w których możemy wyróżniać zakresy wartości, posługując się predykatami wykorzystującymi predefiniowane funkcje i relacje. W ramach naszej pracy jako punkt wyjścia traktujemy podejście kartograficzne opracowane na potrzeby wnioskowania z ontologii opartych na logice opisowej i pozwalające na efektywne...

  • Wnioskowanie z danych zapisanych w zewnętrznych źródłach w systemie zarządzania wiedzą
    Publication

    Rozdział prezentuje proces wnioskowania z danych przechowywanych w zewnętrznych źródłach. W procesie tym wykorzystywane są dwie nowe metody: metoda semantycznego wzbogacania źródeł - SED (Semantic Enrichment of Data) oraz wykorzystująca ją metoda wnioskowania z danych zewnętrznych - RED (Reasoning over External Data). Obie te metody zostały w niniejszym rozdziale przedstawione. Metoda SED służy do opisania zewnętrznych źródeł danych...

    Full text to download in external service

  • Using argument structures to create a measurement plan

    While planning an experiment the same question always arises: What are the goals of the experiment and which measurements are needed to demonstrate that the goals have been achieved? Deciding about the extent of raw data to be collected, the metrics to be constructed on those data and the interpretation of the metrics with respect to the assumed goals is by no means a trivial task. In this paper we show how a well known Gal-Question-Metrics...

  • Trzy perspektywy
    Publication

    - OPM - Ogólnopolski Przegląd Medyczny - Year 2007

    W artykule scharakteryzowano Model Współpracy Klient-Dostawca Oprogramowania (MWKDO) i przedstawiono i przedstawiono doświadczenia wynikające z jego zastosowania. Swoją opinię wyrazili klient, czyli Swissmed Centrum Zdrowia SA, dostawca oprogramowania e-MedSolution, firma ISH oraz współautorzy Modelu, pracownicy Politechniki Gdańskiej.

  • Trust-IT - a framework for trust cases
    Publication

    - Year 2007

    Artykul prezentuje wyniki uzyskane w ramach prac zmierzających do wytworzenia zintegrowanego srodowiska wspomagającego analizę zaufania do systemów i infrastruktur informatycznych. Elementy tego środowiska obejmują język i metodykę trorzenia i pielęgnacji dowodów zaufania (ang. trust case), mtode integrowania z nimi materiału dowodowego, narzędzia wspomagajace zarządzanie dowodami zaufania oraz scenariusze ich wykorzystania w różnych...

  • Szkoła systemu Linux
    Publication

    Książka ''Szkoła systemu Linux'' wprowadza czytelnika w świat oprogramowania typu open source. Przedstawione zostały liczne programy, które umożliwiają między innymi zarządzanie danymi, pisanie i drukowanie dokumentów czy korzystanie z sieci. Za pomocą ksiązki można się nauczyć używania środowiska graficznego oraz wiersza poleceń. Opisano również działanie systemów operacyjnych, w tym Linux. Na płycie dołączonej do książki znajduje...

Year 2010
Year 2014
Year 2011
Year 2018
Year 2019
  • Using Evidence-based Arguments to Support Dependability Assurance-Experiences and Challenges
    Publication

    The article introduces to the problem of evidence-based arguments and their applications. Then, based on the experiences collected during commercial deployment of a concrete solution to this problem (system NOR-STA) we overview selected challenges and the ways of addressing them

    Full text available to download

  • Uncertainty in emotion recognition

    Purpose–The purpose of this paper is to explore uncertainty inherent in emotion recognition technologiesand the consequences resulting from that phenomenon.Design/methodology/approach–The paper is a general overview of the concept; however, it is basedon a meta-analysis of multiple experimental and observational studies performed over the past couple of years.Findings–The mainfinding of the paper might be summarized as follows:...

    Full text to download in external service

  • Threat intelligence platform for the energy sector

    In recent years, critical infrastructures and power systems in particular have been subjected to sophisticated cyberthreats, including targeted attacks and advanced persistent threats. A promising response to this challenging situation is building up enhanced threat intelligence that interlinks information sharing and fine-grained situation awareness. In this paper a framework which integrates all levels of threat intelligence...

    Full text available to download

  • Things You Might Not Know about the k-Nearest Neighbors Algorithm
    Publication

    Recommender Systems aim at suggesting potentially interesting items to a user. The most common kind of Recommender Systems is Collaborative Filtering which follows an intuition that users who liked the same things in the past, are more likely to be interested in the same things in the future. One of Collaborative Filtering methods is the k Nearest Neighbors algorithm which finds k users who are the most similar to an active user...

    Full text to download in external service

Year 2021
Year 2023
Year 2016
  • Using contextual conditional preferences for recommendation taska: a case study in the movie domain
    Publication

    - Studia Informatica Pomerania - Year 2016

    Recommendation engines aim to propose users items they are interested in by looking at the user interaction with a system. However, individual interests may be drastically influenced by the context in which decisions are taken. We present an attempt to model user interests via a set of contextual conditional preferences. We show that usage of proposed preferences gives reasonable values of the accuracy and the precision even when...

    Full text to download in external service

  • Towards the participant observation of emotions in software development teams

    Emotions, moods and temperament influence our behaviour in every aspect of life. Until now plenty of research has been conducted and many theories have been proposed to explain the role of emotions within the working environment. However, in the field of software engineering, interest in the role of human factors in the process of software development is relatively new. In the paper the research design process that has been proposed...

    Full text available to download

  • Towards Safety Case Integration with Hazard Analysis for Medical Devices
    Publication

    Safety case is one of system safety lifecycle products and should be consistent with other lifecycle products like hazard analysis results. In this paper we present a method of safety case integration with hazard tables based on the use of parametrized argument patterns. We describe a hazard table metamodel, a safety argument pattern and a mechanism of pattern instantiation using a linking table which represents references to system...

    Full text available to download

  • Towards automation of IT systems repairs
    Publication

    - SOFTWARE QUALITY JOURNAL - Year 2016

    Monitoring and repair are two sides of the on-the-fly maintenance of IT systems.Monitoring is well supported by automatic tools. In contrast, repairs involve much higherhuman intervention which negatively affects reliability and efficiency. The paper intro-duces a method of automating repairs of IT systems which can be integrated with any ofthe existing monitoring mechanisms. The method is described as a collection of modelsand...

    Full text available to download

  • Talents, Competencies and Techniques of Business Analyst: A Balanced Professional Development Program

    This paper presents preliminary results of action research in which we search for fundamentals of an universal theory of balanced approaches to software process. It is developed on the basis of balanced approach for professional development program for business analysts which integrates approaches oriented on talents, competencies and techniques. This paper includes the description of key concepts in background approaches, components...

    Full text available to download

Year 2024
  • Usability Testing of Mobile Applications: A Methodological Framework
    Publication

    Less than five percent of all mobile applications have become successful throughout 2023. The success of a new mobile application depends on a variety of factors ranging from business understanding, customer value, and perceived quality of use. In this sense, the topic of usability testing of mobile applications is relevant from the point of view of user satisfaction and acceptance. However, the current knowledge seems to be fragmented,...

    Full text available to download

  • Usability of Mobile Applications: A Consolidated Model
    Publication

    - IEEE Access - Year 2024

    Mobile devices have become an integral part of the digital ecosystem, connecting people, businesses, and information around the world in ways never before possible. In particular, smartphones, tablets and other handheld devices equipped with mobile applications have changed every aspect of our lives. Today, a user can choose from nearly five million applications available for both Android and iOS operating systems. However, only...

    Full text to download in external service

Year 2020
  • Usability of mobile applications: a systematic literature study
    Publication

    - IEEE Access - Year 2020

    Since the release of the first mobile devices, the usability of on-board applications has been the concern not only of software vendors but hardware manufacturers as well. The academia community later willingly joined the discussion on usability in terms of theory and empirical measurement, having experience and knowledge in desktop settings. At first sight, such a background should guarantee a solid foundation to conduct research...

    Full text available to download

  • Towards a Lightweight Approach for the Evaluation of Requirements Engineering Impact on Other IT Project Areas
    Publication

    Requirements Engineering (RE) is recognized as one of the most important, but difficult areas of software engineering, with a significant impact on other areas of the IT project and its final outcome. The empirical studies investigating this impact are hard to conduct, mainly due to large effort required. It is thus difficult for researchers and even more for industry practitioners to make evidence-based evaluations, how decisions...

    Full text available to download

  • The Impact of Lexicon Adaptation on the Emotion Mining From Software Engineering Artifacts
    Publication

    - IEEE Access - Year 2020

    Sentiment analysis and emotion mining techniques are increasingly being used in the field of software engineering. However, the experiments conducted so far have not yielded high accuracy results. Researchers indicate a lack of adaptation of the methods of emotion mining to the specific context of the domain as the main cause of this situation. The article describes research aimed at examining whether the adaptation of the lexicon...

    Full text available to download

Year 2005
  • Trust Case: justifying trust in an IT solution
    Publication

    - Year 2005

    W artykule prezentujemy podejście wykorzystane przy budowie dowodu zaufania (ang. trust case) do DRIVE, infrastruktury informatycznej wspomagającej dystrybucję i podawanie leków. Cele DRIVE obejmowały bezpieczniejszą i mniej kosztowną dystrybucję leków. Dowód zaufania reprezentuje argumentację przemawiającą za tym, że DRIVE jest godne zaufania. Składa się on z żądań (ang. claims) postulujących pewne związane z zaufaniem własności...

Year 2009
  • Towards automating repairs of IT systems
    Publication

    - Year 2009

    This paper presents formal description of working principles of the repair library, being the essential component of the Repair Management Framework (RMF), which aims at automating the process of repairing IT systems, and consists also of the Repair Management Model (RMM) and the Repair Management System (RMS). RMM introduces two mathematical models (model of monitoring and model of repair processes), general enough to cover the...

  • Towards a precise model of DSM economics
    Publication

    - Year 2009

    Rozdział podejmuje zagadnienia związane z opłacalnością zastosowania metod dziedzinowych (ang. Domain-Specific Modeling). Omówiono cechy charakterystyczne metod dziedzinowych i powiązanej z nimi technologii. Przedstawiono model kosztów pokrywający koszty początkowe, koszty utrzymania oraz koszty i zyski powiązane z fazą wytwarzania z zastosowaniem automatyzacji. Zaprezentowano model referencyjny kosztów przy tradycyjnym wytwarzaniu...

  • The Role of Analysis Patterns in Systems Analysis
    Publication

    - Year 2009

    Wzorce analizy są techniką, która ma wspomagać analizę systemów.W referacie zaprezentowano analizę cech charakterystycznych wzorców analizy oraz przegląd zagadnień związanych z zastosowaniem ich w procesie wytwarzania oprogramowania. Następnie przedstawiono metodę analizy systemów z zastosowaniem wzorców analizy oraz studium przypadku analizy z wykorzystaniem wzorców analizy dla systemu wspomagającego małą przychodnię lekarską.

    Full text to download in external service

  • The Internet as a knowledge source in Knowledge Views

    Artykuł ten przedstawia koncepcję widoków na bazę wiedzy, jak może ona zostać wykorzystana w celu zbierania informacji z różnych źródeł, wnioskowania nad tymi informacjami i udostępnienia ich w postaci wymaganej przez aplikację. Korzystając z widoków na bazę wiedzy, aplikacja może "widzieć" Internet jako pojedyncze źródło wiedzy.

    Full text to download in external service

  • System zarządzania naprawami
    Publication

    - Year 2009

    W artykule tym opisano dwa istotne współcześnie problemy, związane z wykorzystywaniem w przemyśle systemów IT: problem ich monitorowania oraz problem ich naprawy. Przedstawiono w nim skrótowo wytworzone rozwiązanie, służące automatyzacji procesu przeprowadzania napraw oraz integrujące się z istniejącymi systemami monitorującymi. Rozwiązanie to, zwane Systemem Zarządzania Naprawami, jest częścią większej metody, zwanej Metodą Zarządzania...

Year 2022