Search
Department of Software Engineering
Publications
Filters
total: 480
Catalog Publications
Year 2013
-
Affect-awareness framework for intelligent tutoring systems
PublicationThe paper proposes a framework for construction of Intelligent Tutoring Systems (ITS), that take into consideration student emotional states and make affective interventions. The paper provides definitions of `affect-aware systems' and `affective interventions' and describes the concept of the affect-awareness framework. The proposed framework separates emotion recognition from its definition, processing and making decisions on...
Year 2012
-
Zarządzanie zgodnością ze standardami akredytacyjnymi w chmurze obliczeniowej
PublicationRosną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
PublicationW 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
PublicationRozdział 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?
PublicationRozdział 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
PublicationThe 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...
-
Trust management in WSN - case study evaluation
Publication -
Towards context-semantic knowledge bases
PublicationW 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ę.
-
Supporting Assurance by Evidence-based Argument Services
PublicationStructured arguments based on evidence are used in many domains, including systems engineering, quality assurance and standards conformance. Development, maintenance and assessment of such arguments is addressed by TRUST-IT methodology outlined in this paper. The effective usage of TRUST-IT requires an adequate tool support. We present a platform of software services, called NOR-STA, available in the Internet, supporting key activities...
-
S-Pellet jako implementacja zdaniowej reprezentacji modułów algebry konglomeratów
PublicationW artykule przedstawiono zdaniową reprezentację konglomeratów (semantycznych modułów ontologiczych) oraz zaprezentowano system S-Pellet wykorzystujący tę reprezentację do wnioskowania z modularnych baz wiedzy.
-
Słowo wstępne
Publication.
-
Schemat konglomeratowej bazy wiedzy
PublicationArtykuł przedstawia raport z prac nad rozwojem konglomeratowych baz wiedzy w kierunku opracowania metodyki ich zastosowań inżynierskich. Podział użytkowników bazy na projektantów i użytkowników końcowych narzucił konieczność określenia czym jest schemat bazy, a czym jej instancja. Pozwoliło to na opracowanie metodyki, w której projektowanie jest postrzegane jako proces tworzenia schematu.
-
Ontology-Aided Software Engineering
PublicationThis thesis is located between the fields of research on Artificial Intelligence (AI), Knowledge Representation and Reasoning (KRR), Computer-Aided Software Engineering (CASE) and Model Driven Engineering (MDE). The modern offspring of KRR - Description Logic (DL) [Baad03] is considered here as a formalization of the software engineering Methods & Tools. The bridge between the world of formal specification (governed by the mathematics)...
-
Odwzorowania międzyontologiczne w algebrze konglomeratów
PublicationModularyzacja i integracja ontologii to dziedziny, które w ostatnim okresie są obiektem intensywnego rozwoju. Rozwój nowych idei spowodował konieczność wprowadzenia ich systematyzacji i klasyfikacji. W niniejszym artykule przeanalizowano możliwość wyrażenia odwzorowań i złączeń za pomocą algebry konglomeratów oraz przedyskutowano możliwość wykorzystania roli algebry jako ujednoliconego medium opisu metod integracji i modularyzacji.
-
Obraz świata płynnej nowoczesności
PublicationRecenzja książki: Zygmunt Bauman ''44 listy ze świata płynnej nowoczesności''
-
Modularized Knowledge Bases Using Contexts, Conglomerates and a Query Language
PublicationArtykuł prezentuje nowatorskie podejście do projektowania i budowy baz wiedzy, zorientowane na wyróżnianie kontekstów i ich implementację za pomocą semantycznych modułów wiedzy zwanych konglomeratami.
-
Model rozwoju kompetencji kierowniczych w małych firmach informatycznych
PublicationW referacie przedstawiono wyniki badania nad rozwojem kompetencji kierowniczych w małych firmach IT. Omówiono badania ankietowe służące określeniu ważności poszczególnych kompetencji z modelu ICB organizacji IPMA dla małych firm. Na podstawie wyników ankiet wyróżniono trzy klasy ważności kompetencji kierowniczych dla typowej małej firmy IT, którą scharakteryzowano. Opracowana klasyfikacja może być podstawą rozwiązania doradczego...
-
Metoda wyboru informacji z dedykowanych zbiorów danych
PublicationPoszukiwanie skutecznych metod wyboru informacji wynika z obserwowanego obecnie nadmiaru danych. W artykule opisana jest metoda GQM wykorzystywana w informatyce między innymi do budowy wielowymiarowej funkcji jakości oprogramowania. W artykule wykazano, że metoda ta może być również wykorzystana do poszukiwania i wyboru danych z dedykowanych zbiorów informacji dziedzinowych.
-
Mechanizmy ochrony integralności plików na poziomie monitora maszyny wirtualnej
PublicationMechanizmy ochrony integralności plików umożliwiają wykrywanie nieautoryzowanych zamian w kluczowych do działania systemu operacyjnego plików. Dotychczas rozwiązania tego typu działały jako aplikacje systemowe lub były integrowane z jądrem systemu operacyjnego. Wraz ze zwiększeniem dostępności technik wirtualizacji pojawiła się możliwość przeniesienia systemu ochrony na poziom monitora maszyny wirtualnej, co zapewnia izolację mechanizmu...
-
Measures for Evaluation of Structure and Semantics of Ontologies
PublicationArtykuł przedstawia zagadnienie miar jakości ontologii ze szczególnym uwzględnieniem ich podziału na syntaktyczne (strukturalne) i semantyczne. Na tym tle przedstawione jest nowe podejście do pomiaru właściwości semantycznych ontologii bazujące na kartografii wiedzy.
-
Information Systems, Business and Law - Lessons Learnt
PublicationReferat prezentuje badania na styku wytwarzania systemów informatycznych, procesów biznesowych i powiązanych z nimi regulacji prawnych. Zawiera on opis doświadczeń wynikających z zastosowania zintegrowanej metody analizy technicznej i prawnej podczas wytwarzania systemu ochrony własności intelektualnej. Przedstawione doświadczenia i powiązane analizy mogą być przydatne podczas tworzenia taksonomii zagadnień na styku systemów informatycznych,...
-
Improving agility and discipline of software development with the Scrum and CMMI
PublicationThis study presents a method of combining the Scrum methodology with the CMMI maturity model to improve bothagility and discipline of software development. First, the authors propose the CMMI-Scrum reference model, which maps Scrumpractices onto 123 practices of CMMI staged levels 2 and 3. For 60% of CMMI practices, which are insufficiently covered byScrum they add new practices that improve discipline while maintaining agility....
-
Improvement of Task Management with Process Models in Small and Medium Software Companies
PublicationSmall and medium software companies exhibit many special features that give reason for a dedicated approach to process improvement. They often cannot afford implementing maturity models or quality standards both in terms of time and money. Instead, they expect simpler solutions that can allow to run projects in more systematic and repeatable way, increase quality and knowledge management. In this paper, we present a method focused...
-
Assessment of risks introduced to safety critical software by agile practices - a software engineer's perspective
PublicationIn this article we investigate the problem of applying agile practices into safety-critical projects.The goal of our research is to investigate potential benefits from introducing agile practicesinto safety-critical environment and to present a solution providing for balancing agileapproach with more disciplined assurance techniques, bringing the best of the two worlds together.In the article we present the supporting ideas such...
-
Analysis of the impact of AOP on source code quality: Paradox of aspect-oriented separation of concerns
PublicationAlmost four decades ago, Parnas advocated modularity for the sake of changeability, independent development, and comprehensibility. The recipe for modularization is to define a clean interface, hide an implementation detail, keep low coupling and high cohesion. Although modules have taken many forms over the years from functions and procedures to classes, no form has been capable of expressing so-called crosscutting concerns in...
-
Agile Development of Critical Software - Can It be Justified?
PublicationThe paper introduces the problem of application of agile practices in critical software development projects. It summarizes the present state of research and identifies the need for having a ready-to-use model of being agile while still meeting the required assurance levels which could be particularly useful for small and medium sized safety-critical software companies. Then the objective and scope of a research aiming at delivering...
-
A Method Supporting Monitoring And Repair Processes of Information Systems
PublicationW pracy zaproponowano nową metodę (ARM) zarządzania monitorowaniem i naprawą systemów IT, bez przerywania ciągłości ich funkcjonowania. Metoda ta integruje procesy monitorowania (uwzględniając już istniejące i stosowane rozwiązania) z procesami naprawy. Stworzono formalny model koncepcyjny opisujący dziedzinę monitorowania i naprawy oraz formalne specyfikacje mechanizmu napraw oraz wybranych procedur naprawczych. Do specyfikacji...
Year 2011
-
Wybrane zagadnienia licencji na oprogramowanie
PublicationW 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...
-
Wirtualni nauczyciele - mrzonka czy przyszłość?
PublicationArtykuł 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 (agenty edukacyjne). Artykuł podejmuje próbę definicji i proponuje pewną systematykę agentów edukacyjnych. Zawiera przegląd wirtualnych postaci w zdalnej edukacji i pokazuje, że występują one w różnych rolach: od przewodnika, poprzez współucznia do wirtualnego nauczyciela....
-
Using trust management model for detection of faulty nodes in Wireless Sensor Networks
Publication -
Support for argument structures review and assessment
PublicationArgument structures are commonly used to develop and present cases for safety, security and for other properties of systems. Such structures tend to grow excessively, which causes problems with their review and assessment. Two issues are of particular interest: (1) systematic and explicit assessment of the compelling power of an argument, and (2) communication of the result of such an assessment to relevant recipients. The paper...
-
Słowo wstępne
Publication -
SCF - a Framework Supporting Achieving and Assessing Conformity with Standards
PublicationStandards Conformity Framework (SCF) presented in this paper encompasses methods and tools whichprovide support for application of standards and other normative documents. The approach taken focuses ondevelopment, assessment and maintenance of an electronic document which demonstrates conformity. Sucha document contains an argument structure developed in accordance with the Trust-IT methodology. Thepaper discusses details of the...
-
Programowanie Obiektowe z Użyciem Adnotacji Semantycznych
PublicationW 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...
-
Podeście do doskonalenia procesów w firmie informatycznej wspierane przez narzędzie Eclipse Process Framework Composer
PublicationArtykuł przedstawia podejście do doskonalenia procesów w mniejszych firmach informatycznych z wykorzystaniem narzędzia Eclipse Process Framework Composer. Podejście obejmuje modelowanie procesów wytwarzania oprogramowania w EPF Composer oraz wykorzystanie tych modeli do bieżącego zarządzania projektami w istniejących narzędziach wspomagających. Omówiono kroki wdrożenia rozwiązania, w tym sposób integracji modelu procesu z posiadanymi...
-
Planowanie testów wspomagane analizą ryzyka
PublicationTestowanie wciąż pozostaje jednym z głównych sposobów zapewniania jakości oprogramowania. Testowanie pochłania znaczne zasoby, które w praktyce mogą się okazać zbyt kosztowne. Należy więc testy planować i to w taki sposób, by skontrolować efekty wynikające z testowania oraz nakłady ponoszone na testowanie dążąc do maksymalizacji współczynnika efektów-do-nakładów. Jedną z kluczowych decyzji w tym zakresie jest decyzja o wyborze...
-
Ontologie w systemach informatycznych
PublicationZakres monografii obejmuje wybór majważniejszych zagadnień inżynierii wiedzy opartej na podejściu ontologicznym. Omawiane są ramy Minsky'ego, sieci semantyczne, standardy RDF, OWL i SPARQL. Prezentowane są też podstawy teoretyczne nowoczesnych technologii semantycznych, w szczególności rozstrzygalny fragment logiki pierwszego rzędu zwany logiką opisową (ang. Description Logics, DL). Omawia sie algorytmy wnioskowania z ontologii...
-
Możliwości stosowania wirtualizacji w systemach komputerowych
PublicationWykorzystywana dotychczas głównie w zastosowaniach wojskowych i przemysłowych, na komputerach typu mainframe, wirtualizacja wchodzi obecnie do powszechnego użytku. Wzrost mocy obliczeniowej komputerów osobistych pozwala na wydajne wirtualizowanie nawet kilku systemów operacyjnych na raz. W artykule zostaną opisane trzy obszary zastosowań wirtualizacji: edukacja informatyczna, systemy mobilne oraz bezpieczeństwo systemów komputerowych.
-
Mechanizm zapewniania wiarygodności stron internetowych
PublicationZapewnieni wiarygodności danych w Internecie to ważne zagadnienie współczesnej informatyki. Dynamiczny rozwój globalnej sieci komputerowej pociąga za sobą zarówno ogromne korzyści, jak i poważne zagrożenia. W artykule przedstawiono niektóre mechanizmy zapewniania wiarygodności stron WWW takie jak podpis cyfrowy, kryptograficzne podpisywanie mikrotreści czy pieczęcie kontrolne. Opisano wykonany system realizujący mechanizm pieczęci...
-
Mechanizm dostarczania usług w chmurze: roxzwiązanie NOR-STA
PublicationArtykuł prezentuje mechanizmy udostępniania w chmurze usług rozwijanych w ramach projektu NOR-STA. Są one ukierunkowane na wspomaganie procesów dochodzenia do zgodności i oceny zgodności z normami i standardami. W projekcie NOR-STA prowadzone są obecnie eksperymentalne badania wdrożeniowe we współpracy z partnerami z sektorów ochrony zdrowia i biznesu. Usługi NOR-STA są udostępniane zgodnie z modelem Software as a Service (SaaS)....
-
Kontekst oprogramowania z perspektywy jakości technicznej, użytkowej, estetycznej i marketingowej
PublicationReferat zawiera analizę i porównanie kontekstu jakości oprogramowania z różnych perspektyw zapewnienia jakości. Uwzględniono następujące perspektywy: wytwarzanie oprogramowania i jakość techniczną, projektowanie interfejsów użytkownika i jakość użytkową, estetykę i wrażenie wywierane przez oprogramowanie, zgodność z prawem oraz jakość marketingową.
-
Kompetencje analityka biznesowego
PublicationPublikacja zawiera slajdy do prezentacji stanu wiedzy dotyczącej kompetencji analityków biznesowych dla menedżerów oraz analityków z przemysłu. Prezentacja porusza następujące tematy: rodzaje kompetencji analityka i rola kompetencji behawioralnych; przegląd kompetencji analityków według IBM RUP, IIBA BABOK oraz badań ankietowych polskich analityków; wybrane wyniki z zakresu psychologii w inżynierii oprogramowania oraz wynikające...
-
Knowledge Views and their application in systems engineering
PublicationWykorzystanie technologii Semantic Web, w szczególności baz wiedzy, w przemyśle informatycznym jest niewielkie. Jest to spowodowane między innymi dużym ryzykiem związanym z wdrażaniem nowych technologii i brakiem wiedzy na ich temat ze strony inżynierów oprogramowania. Aby zmniejszyć ryzyko związane z wdrażaniem baz wiedzy i zminimalizować nakład pracy inżynierów na zapoznanie się z nimi, w niniejszej pracy zaproponowano koncepcję...
-
Hurtownie danych - modele, techniki, zastosowania
PublicationW artykule przedstawiono podstawowe koncepcje dotyczące nowoczesnych hurtowni danych. Zaprezentowano wielowymiarowy model danych (model logiczny) i model fizyczny hurtowni, a także wybrane problemy implementacyjne i projektowe. Skupiono się na aspektach praktycznych stosowania hurtowni danych w przedsiębiorstwach i organizacjach.
-
Experience with instantiating an automated testing process in the context of incremental and evolutionary software development
PublicationThe purpose of this article is to present experiences from testing a complex AJAX-based Internet-system which is under development for more than five years. The development process follows incremental and evolutionary lifecycle model and the system is delivered in subsequent releases. Delivering a new release involves both, the new tests (related to the new and/or modified functionalities) and the regression tests (after their...
-
Evaluation of Multimedia Stream Processing Modeling Language from the Perspective of Cognitive Dimensions
PublicationW referacie zawarto opis zastosowania wymiarów poznawczych do oceny języka modelowania przetwarzania strumieni multimedialnych, nazwanego MSP-ML, w trakcie tworzenia tego języka. Poszczególne części referatu prezentują kontekst i motywacje oceny MSP-ML, metodę oceny, rezultaty oceny oraz porównanie rezultatów oceny z wynikami otrzymanymi za pomocą innych metod oceny języków modelowania wizualnego.
-
Distributed Trust Management Model for Wireless Sensor Networks
Publication -
Controlled English Interface for Knowledge Bases
PublicationThis paper describes the approach to interface for OWL Knowledge Bases based on Controlled English that is transformed directly to OWL 2 expressions and back. Two possible modes enable usage of the interface to specify Terminology, World Description as well as Integrity Constrains. Knowledge Base then can be validated against the Integrity Constrains to enable its continuous validation.
-
Automatyzacja przypadków testowych dla aplikacji internetowej
PublicationArtykuł przedstawia doświadczenia związane z doskonaleniem procesu testowania złożonego systemu internetowego, którego kluczowy element stanowi aplikacja kliencka wykonana w technologii AJAX. Podjęte działania ukierunkowane na zapewnienie jakości, w tym wysokiej niezawodności, doprowadziły do powstania obszernego zbioru przypadków testowych. Wraz z rozwojem systemu przypadki testowe podlegały ewolucji. Początkowo wykonywane były...
-
Applying agiile practices to the development of safety-critical software
PublicationDevelopment of safety critical software is subjected to numerous restrictions and recommendations. To meet these requirements classical software development models (e.g. V-model) are usually applied. Agile methodologies, although rapidly increasing their popularity, were generally regarded as unsuitable for such projects. However, they offer potential benefits which provide a strong incentive to incorporate them into safety-critical...