Filtry
wszystkich: 6684
wybranych: 4226
-
Katalog
- Publikacje 4226 wyników po odfiltrowaniu
- Czasopisma 48 wyników po odfiltrowaniu
- Wydawnictwa 27 wyników po odfiltrowaniu
- Osoby 463 wyników po odfiltrowaniu
- Wynalazki 20 wyników po odfiltrowaniu
- Projekty 46 wyników po odfiltrowaniu
- Laboratoria 3 wyników po odfiltrowaniu
- Zespoły Badawcze 11 wyników po odfiltrowaniu
- Aparatura Badawcza 6 wyników po odfiltrowaniu
- Kursy Online 217 wyników po odfiltrowaniu
- Wydarzenia 56 wyników po odfiltrowaniu
- Dane Badawcze 1561 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: MINY MORSKIE
-
Safety of computer control systems: challenges and results in software development.
PublikacjaArtykuł 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.
-
Gotowość szpitali do wdrożenia informatycznego wspomagania procesów dystrybucji stosowania leków - studium przypadku.
PublikacjaW 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....
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublikacjaArtykuł 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...
-
Thermodynamically consistent gradient theory of damage coupled with gradient plasticity
PublikacjaPrzedstawiono termodynamicznie zgodną teorię plastycznego zniszczenia w zakresie mechaniki Newtona-Eshelbego. Poza klasycznymi równaniami ruchu w przestrzeni fizycznej sformułowano dynamiczne równania równowagi sił powiązanych z defektami w przestrzeni materialnej oraz pierwsze i drugie prawo termodynamiki w przestrzeni fizycznej i materialnej. Ogólne równania konstytutywne przyjęto jako funkcję gradientu deformacji, jego składników...
-
Gradient theories of ductile and brittle damage: a thermodynamical consistent framework and computational issues
PublikacjaPrzedstawiono termodynamicznie zgodny opis gradientowych teorii plastycznego i kruchego zniszczenia. Przyjęto, że propagujące mikro-zniszczenia posiadają bezwładność i ich ruch jest wywołany przez mikro-siły, które spełniają ich własne dynamiczne równania równowagi. Poza równaniami równowagi makro- i mikro-sił sformułowano pierwsze i drugie prawo termodynamiki na poziomie mikro i mezo. Zakładając ogólną formę równań konstytutywnych...
-
Thermodynamically consistent nonlocal theory of ductile damage
PublikacjaPrzedstawiono termodynamicznie zgodną, słabo-nielokalną teorię zniszczenia plastycznego. Wykorzystano klasyczne dynamiczne zasady zachowania pędu i momentu pędu w przestrzeni fizycznej i materialnej. Przyjęto równania konstytutywne i zdefiniowano ich niezmienniczą formę i termodynamicznie dopuszczalną postać. Wykazano, że fizyczne i materialne siły i naprężenia składają się z dwóch części, niedyssypatywnego składnika otrzymanego...
-
Weakly non-local theories of damage and plasticity based on balance of dissipative material forces
PublikacjaWykazano, że założenie o siłach materialnych oraz odpowiadających im równaniach równowagi w połączeniu z klasycznymi prawami dynamiki w przestrzeni fizycznej, pozwoliło na sformułowanie teoretycznych podstaw w zakresie słabo-nielokalnych gradientowych modeli zniszczenia i plastyczności. Odpowiednie równania równowagi w przestrzeni fizycznej i materialnej oraz pierwsze i drugie prawo termodynamiki zapisano w postaci całkowej. Następnie...
-
Koncept ekologicznie przyjaznego masowca „Gary Muwalt” napędzanego siłą wiatru
PublikacjaW artykule przeanalizowano możliwości, jakie niesie wykorzystanie siły wiatru we współczesnym transporcie morskim na przykładzie ekologicznego masowca z napędem żaglowym. W tym celu dokonano analiz oporowych przy użyciu metod CFD oraz analizy ekonomicznej na podstawie danych rynkowych. Jest to wstęp do dalszych prac, mających na celu stworzenie nowoczesnej jednostki ograniczającej emisję szkodliwych substancji do atmosfery oraz...
-
HETEROGENICZNY SYSTEM BEZPRZEWODOWEJ ŁĄCZNOŚCI NA MORZU BAŁTYCKIM
PublikacjaW artykule przedstawiono podstawowe założenia dotyczące realizacji systemu heterogenicznej samoorganizującej się sieci bezprzewodowej zapewniającej łączność na obszarze morskim, między innymi na potrzeby usług e-nawigacji. Wskazano na ograniczenia istniejących systemów, w tym systemów satelitarnych, pokazując jednocześnie potrzebę opracowania nowego rozwiązania. Autorzy przedstawili dedykowane mechanizmy i systemy o zróżnicowanych...
-
Szerokopasmowe systemy komunikacyjne na morzu : scenariusze użycia i przykładowe instalacje
PublikacjaW artykule zaprezentowano przegląd technik dostępowych i systemów komunikacji morskiej wykorzystywanych aktualnie lub planowanych do użycia, zarówno do komunikacji między statkami, jak i statkami i lądem, w celu wspierania określonych usług, często ukierunkowanych na poprawę bezpieczeństwa na morzu oraz e-nawigację. Przegląd obejmuje zarówno rozwiązania naziemne, jak i przykładowe rozwiązania satelitarne. W pierwszej grupie systemów...
-
MARS - BAZA. warsztaty pozaziemskiej architektury ekstremalnej. Warsztaty w ramach Bałtyckiego Festiwalu Nauki
PublikacjaJak przetrwać w różnych warunkach? Czego potrzebujemy, by przeżyć, a czego, by żyć wygodnie? Poszukamy odpowiedzi na te pytania, by stanąć przed nie lada misją: wspólnie podejmiemy się największego wyzwania przyszłości - zbudujemy bazę na Marsie! Budowa schronienia, bazy, domu - troska o zaspokojenie podstawowych potrzeb towarzyszy nam od zawsze, a budowanie jest jednym z pierwszych trwałych działań ludzi, pomagającym spełnić...
-
Wave-induced pore pressure oscillations in sandy seabed sediments
PublikacjaPracę poświęcono zagadnieniu wywoływania cyklicznych oscylacji ciśnieniacieczy porowej w piaszczystym gruncie dna morskiego w wyniku oddziaływania progresywnego falowania powierzchniowego. Dokonano szerokiego przeglądu i analizy istniejących teorii ciśnień cieczy porowej z punktu widzenia skom- plikowania opisu matematycznego zachowania się ośrodka wodno-gruntowego. Wyprowadzono dwuwymiarowe rozwiązanie analityczne i...
-
Podstawy teorii projektowania okrętów
PublikacjaW zamyśle autora podręcznik winien służyć studentom studiów inżynierskich pierwszego stopnia na kierunku Oceanotechnika, który aktualnie prowadzony jest w Politechnice Gdańskiej, w Zachodniopomorskim Uniwersytecie Technologicznym oraz w Akademii Marynarki Wojennej w Gdyni. Wybrane treści podręcznika mogą być przydatne również studiującym na wydziałach kształcących morskie kadry oficerskie, gdyż zawiera wiedzę wymaganą Rozporządzeniem...
-
Analiza porównawcza wybranych hierarchicznych algorytmów trasowania w sieciach ad hoc
PublikacjaW referacie przybliżono ogólną zasadę działania algorytmów hierarchicznych stosowanych w sieciach ad hoc. Szczegółowo omówiono dwa hierarchiczne protokoły trasowania: Cluster Based Routing Protocol oraz Zone Routing Protocol. Osobny punkt referatu poświęcono analizie porównawczej obu protokołów. W podsumowaniu przeanalizowano zasadność zastosowania wspomnianych protokołów w Zautomatyzowanym Systemie Radarowego Nadzoru Polskich...
-
Dworzec kolejowy – jaki był, jaki jest i jaki być powinien
PublikacjaWzorem innych krajów winien być w Polsce przeprowadzony program reformy dworców i przystanków kolejowych jako jednorodnego, zestandaryzowanego, narodowego systemu. Przygotowując program polskiej reformy dworcowej należy się posiłkować wynikami podobnych programów w innych krajach europejskich. Programy te skrótowo opisano w artykule. Opisano i oceniono również pierwsze realizacje polskie powstałe po 2008r.
-
Environmental risk measure of ships
PublikacjaW artykule wyszczególniono najistotniejsze zanieczyszczenia uwalniane podczas eksploatacji statków. Przedyskutowano norweską propozycję indeksacji środowiskowej statków. Zaproponowano probabilistyczny model do oceny ryzyka stwarzanego przez statki względem środowiska morskiego oraz miarę tego ryzyka. Przedstawiono także wyniki badań wpływu niezawodnośći elementów technicznych i poziomu wyszkolenia załogi na roczne ryzyko środowiskowe...
-
Unsymmetrical movements of a multi-hull vessel treated as a linear object
PublikacjaW artykule przedstawiona została analiza dynamiki wybranych morskich obiektów pływających reprezentujących wielokadłubowe jednostki pływające. Badany obiekt został przedstawiony jako liniowy układ dynamiczny o sześciu stopniach swobody. Powyższa analiza dotyczy równań różniczkowych opisujących ruchy niesymetryczne statku na fali. Układ stochastycznych równań różniczkowych dla sprzężonych ruchów niesymetrycznych został przedstawiony...
-
Bezpieczeństwo energetyczne Polski w relacjach z Rosją
PublikacjaAnaliza ukazuje ocenę stanu bezpieczeństwa energetycznego Polski w relacjach z Rosją w wymiarze infrastrukturalnym. Podejmowane przez kolejne, polskie rządy działania na rzecz zapewnienia stabilnych dostaw surowców energetycznych oraz dywersyfikacji ich źródeł, z uwagi na obecność rosyjskiego kapitału w elementach europejskiej infrastruktury przesyłowej i magazynowej, nie umożliwia eliminacji politycznych wpływów Rosji.
-
Stanowisko do analizy sygnałów przesyłanych w kanale hydroakustycznym
PublikacjaOpisano stanowisko badawcze, za pomocą którego wyznaczano odpowiedzi kanału hydroakustycznego na pobudzenie sygnałem modulowanym ciągiem pseudoprzypadkowym PRBS (Pseudo Random Binary Sequence) oraz przeprowadzono eksperymenty z transmisją danych z rozpraszaniem widma metodą bezpośrednią. Omówiono wyniki badań w warunkach laboratoryjnych oraz w jeziorze i basenie portu morskiego. Badania wykonano w warunkach statycznych.
-
Adaptive neuro fuzzy and fuzzy decision tree classifiers as applied to sea floor characterization.
PublikacjaPrzedstawiono wyniki badań wpływu różnych parametrów echa odbitego od dna morskiego na dokładność klasyfikacji typu dna przy pomocy sieci neuronowej z logiką rozmytą i przy pomocy drzew decyzyjnych. W szczególności uwzględniono takie parametry echa jak: energia, amplituda i nachylenie opadającego zbocza, wzbogacone o współczynniki falkowe otrzymane z dyskretnej transformacji falkowej (DWT).
-
Zmiany jakości wód podziemnych na ujęciu ''Czarny Dwór'' w świetle badań polsko-szwedzkich
PublikacjaW wyniku intensywnej i trwającej 40 lat eksploatacji oraz sposobu zagospodarowania terenu nastąpiła niekorzystna zmiana jakości wód czwartorzędowego piętra wodonośnego na ujęciu ''Czarny Dwór''. Pojawiły się wysokie stężenia chlorków, siarczanów, azotu amonowego oraz podwyższona twardość ogólna. Badania geofizyczne wykonane w ramach współpracy polsko-szwedzkiej wykluczyły istnienie obecnie intruzji wód morskich.
-
Sensitivity of echo parameters to seafloor properties and depth variability.
PublikacjaPrzeprowadzono badanie użyteczności wybranych parametrów echa akustycznego, w szczególności wymiaru fraktalnego oraz momentów spektralnych obwiedni, w klasyfikacji dna morskiego, ze szczególnym uwzględnieniem wpływu zmieniającej się głębokości. Wykorzystano numeryczną symulację rozpraszania echa na dnie oraz innych elementów procesu akustycznego sondowania dna, w tym także procedurę kompensacji wpływu zmian głębokości dna na echo.
-
Anthropogenic changes of groundwater quality on the "Czarny Dwór" intake.
PublikacjaW wyniku intensywnej i trwającej 40 lat eksploatacji oraz sposobu zagospodarowania terenu nastąpiła niekorzystna zmiana jakości wód czwartorzędowego piętra wodonośnego na ujęciu "Czarny Dwór". Pojawiły się wysokie stężenia chlorków, siarczanów, azotu amonowego oraz podwyższona twardość ogólna. Badania geofizyczne wykonane w ramach współpracy Polsko - Szwedzkiej wykluczyły istnienie obecnie intruzji wód morskich.
-
Automatic control systems for ships fitted with podded propulsion drive (POD).
PublikacjaW artykule ukazano celowość i możliwości automatyzacji układów napędowych, zwłaszcza typu POD, przewidzianych do zastosowania na projektowanych w ramach projektu Eureka BALTECOLOGICAL SHIP czterech statkach bałtyckich: kontenerowca, pojazdowa i tankowca oraz statku rzeczno - morskiego. Zawarte w artykule informacje ułatwiają dokonanie wyboru właściwych założeń projektowanego układu sterowania napędem wymienionych wyżej statków.
-
Automatyzacja przypadków testowych dla aplikacji internetowej
PublikacjaArtykuł 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...
-
Planowanie testów wspomagane analizą ryzyka
PublikacjaTestowanie 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...
-
Mechanizm dostarczania usług w chmurze: roxzwiązanie NOR-STA
PublikacjaArtykuł 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)....
-
Experience with instantiating an automated testing process in the context of incremental and evolutionary software development
PublikacjaThe 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...
-
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...
-
Trust management in WSN - case study evaluation
Publikacja -
Agile Development of Critical Software - Can It be Justified?
PublikacjaThe 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...
-
Support for argument structures review and assessment
PublikacjaArgument 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...
-
Model niszczenia zmęczeniowego spawanego połączenia prostopadłych płyt
PublikacjaKadłuby statków eksploatowane są w ekstremalnie trudnych warunkach tj. poddawane są zmiennym obciążeniom wynikającym z falowania morza, sekwencji za- i rozładunku, zmian temperaturowych (dzień- noc, zmienne strefy klimatyczna w danym okresie pływania), drgań, itp., a także oddziaływania silnie korozyjnego środowiska. Zmienne obciążenia są powodem występowania zmęczeniowego niszczenia konstrukcji statków. Zapewnienie w trakcie eksploatacji...
-
A probabilistic description of footbridges vibration serviceability
PublikacjaRozważa się użytkowalność kładki dla pieszych ze względu na ich drgania. Imperfekcje ruchu pieszych są opisane zmianami współczynników tegoż ruchu. Bierze się pod uwagę rozkłady prawdopodobieństwa częstotliwości ruchu, długości kroku oraz amplitudy siły modelującej pieszego. Imperfekcje te znacznie wpływają na zachowanie konstrukcji. Stosuje się metodę Monte Carlo. Dane z symulacji probabilistycznych używa się do obliczeń numerycznych....
-
Using trust management model for detection of faulty nodes in Wireless Sensor Networks
Publikacja -
Assessing the time effectiveness of trust management in fully synchronised wireless sensor networks
PublikacjaThe paper presents the results of the time effectiveness assessment of the distributed WSN Cooperative Trust Management Method - WCT2M in a fully synchronized Wireless Sensor Network (WSN). First we introduce some basic types of synchronization patterns in WSN based on the idea of sleep scheduling. Then we explain how WCT2M works in the network applying the fully synchronized sleep scheduling pattern. Such networks were subjected...
-
Towards Agile Development of Critical Software
PublikacjaThe 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...
-
The use of response surface methodology for reliability estimation of composite engineering structures
Publikacja -
Hazard prevention by forced time constraints
PublikacjaMinimalne Zbiory Przyczyn powstałe podczas analizy Drzew Błędów wskazują zdarzenia, które jeśli nastąpią razem, mogą doprowadzić do Hazardu. W niektórych zastosowaniach opis zdarzeń może zostać poszerzony o informację czasową, wtedy zdarzenia z MZP mogą doprowadzić do Hazardu tylko jeśli wystąpi pomiędzy nimi określona zależność czasowa. W tym artykule przedstawione zostało jak informacja czasowa może zostać wprowadzona do Drzew...
-
Performance analysis of untraceability protocols for mobile agents using an adaptable framework
PublikacjaArtykuł przedstawia środowisko oceny wydajności protokołów ochrony przed tropieniem agentów mobilnych oraz wyniki analiz przeprowadzonych za jego pomocą. Chociaż środowisko projektowano i implementowano z myślą o ewaluacji zaproponowanych przez nas protokołów ochrony przed tropieniem, w trakcie badań okazało się, że może ono zostać również wykorzystane do badań całej klasy protokołów bezpieczeństwa dla agentów mobilnych. Chodzi...
-
Empirical evaluation of reading techniques for UML models inspection
PublikacjaArtykuł przedstawia eksperyment, w ramach którego porównane zostały trzy techniki czytania (ad hoc, UML-HAZOP oraz podejście scenariuszowe) zastosowane do inspekcji modeli obiektowych. UML-HAZOP jest techniką czytania wywodzącą się z dziedziny systemów krytycznych, związanych z bezpieczeństwem. W publikacji opisano technikę UML-HAZOP oraz jej różne warianty wykorzystane w eksperymencie. Przedstawiono projekt, sposób przeprowadzenia...
-
An untraceability protocol for mobile agents and its enhanced security study
PublikacjaArtykuł przedstawia rozszerzoną analizę bezpieczeństwa zaproponowanego przez nas protokołu ochrony przed tropieniem (ang. untraceability protocol) dla agentów mobilnych. Jak dotąd, tak systematyczna analiza bezpieczeństwa nie została przeprowadzona. Co więcej, istniejące znane analizy bezpieczeństwa koncentrują się wyłącznie na atakujących wewnętrznych. Uważamy, że stworzona przez nas lista kontrolna ataków może posłużyć jako...
-
An approach for evaluating trust in it infrastructures
PublikacjaW artykule zademonstrowano metodę oceny poziomu zaufania do systemu TI w oparciu o podejście funkcji przekonania.
-
Selected problems of technological preparation of production of a two-segment passenger inland waterways ship of a combined structure
PublikacjaPrzystępując do opracowania założeń do ''Ramowej technologii budowy statku rzecznego'', którego projekt powstaje w ramach zadania INCOWATRANS natknięto się na szereg problemów wynikających z odmienności i prototypowości analizowanego statku. Statek rzeczny to składajacy się z dwóch autonomicznych jednostek zespół pływający. Konstrukcja każdej z wymienionych jednostek jest konstrukcją mieszaną tj. składa się z części o konstrukcji...
-
Context sensitive privacy management in a distributed environment
PublikacjaArtykuł przedstawia mechanizm zarządzania prywatnością stworzony dla systemu rozproszonego z założeniem, że węzły systemu mają ograniczone zasoby (moc procesora, pamięć). Podstawowy pomysł zakłada, że prywatne dane są filtrowane zgodnie z polityką prywatności użytkowników przed ich ujawnieniem innym użytkownikom. Te decyzje są silnie umiejscowione, co ogranicza narzut związany z zarządzaniem prywatnością na węzłach systemu. Sam...
-
Kryteria oceny metody wspomagającej interakcję klient-Dostawca oprogramowania i ich zastosowanie do metody WIKLIDO
PublikacjaW rozdziale przedstawiono metodę Wspomagania Interakcji KLIent-Dostawca Oprogramowa-nia (WIKLIDO) oraz wyjaśniono w jaki sposób wykorzystano metodę GQM (ang. Goal Question Metrics) do systematycznego wywiedzenia metryk oceny tej metody.
-
Supporting Compliance with Security Standards by Trust Case Templates
PublikacjaTrust Cases are used to justify that a given object (a system, an infrastructure, an organization) exhibits certain properties. One of possible applications of trust cases is related to the processes of achieving and demonstrating the compliance with standards. A Trust Case Template derived from a given standard constitutes a skeleton of justification (encompassing evidence and argumentation) of the compliance with the standard....
-
Extending GQM by argument structures
PublikacjaEffective metrics definition methods are of particular importance, as measurement mechanisms are indispensable in virtually any engineering discipline. The paper describes how the well known Goal-Question-Metric (GQM) method of systematic metrics derivation from measurement goals can be extended by applying argument structures. The proposed approach is called Goal-Argument-Metric (GAM). We briefly introduce general ideas of GQM...
-
Supporting compliance with safety standards by trust case templates
PublikacjaStandard Compliance (SC) Framework presented in this paper encompasses methods and tools which provide support for application of standards. The framework is based on trust case methodology. A trust case is a data structure which represents a justification that an object (a system, an infrastructure, an organization) exhibits certain properties. It contains an argument and related evidence which support claimed properties. A trust...
-
Standard Compliance Framework for effective requirements communication
PublikacjaStandard Compliance Framework (SCF) is a framework, which supports application of standards at the stages of achieving, assessing and maintaining the compliance. It uses Trust Case language to develop argument structures demonstrating compliance with standards. The paper presents how SCF is applied to increase effectiveness of requirements communication. Relevant mechanisms of the framework are thoroughly described referring to...