Wyniki wyszukiwania dla: JĘZYK WYMAGAŃ - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: JĘZYK WYMAGAŃ

Najlepsze wyniki w katalogu: Potencjał Badawczy Pokaż wszystkie wyniki (13)

Wyniki wyszukiwania dla: JĘZYK WYMAGAŃ

  • Information Assurance Group (IAG)

    Grupa koncentruje się na zarządzaniu ryzykiem i zaufaniem w odniesieniu do różnych cech oprogramowania i systemów informatycznych, np. Bezpieczeństwa, niezawodności i prywatności. Szczególnie interesujące jest pojęcie Trust Case i powiązanej metodologii Trust-it.

  • Grupa zarządzania wiedzą

    Grupa Zarządzania Wiedzą na Politechnice Gdańskiej jest grupą badawczo-rozwojową skupiającą się na obszarach związanych z zarządzaniem wiedzą i informacją. Naszym priorytetem jest opracowanie zestawu narzędzi i metod umożliwiających przetwarzanie i analizowanie dużych ilości informacji przechowywanych w zasobach WWW. Grupa specjalizuje się w ontologicznych metodach reprezentacji i analizy wiedzy, która zapisana jest w sposób ustrukturalizowany...

  • Architektura Systemów Komputerowych

    Główną tematyką badawczą podejmowaną w Katedrze jest rozwój architektury aplikacji i systemów komputerowych, w szczególności aplikacji i systemów równoległych i rozproszonych. "Architecture starts when you carefully put two bricks together" - stwierdza niemiecki architekt Ludwig Mies von der Rohe. W przypadku systemów komputerowych dotyczy to nie cegieł, a modułów sprzętowych lub programowych. Przez architekturę systemu komputerowego...

Najlepsze wyniki w katalogu: Oferta Biznesowa Pokaż wszystkie wyniki (2)

Wyniki wyszukiwania dla: JĘZYK WYMAGAŃ

Pozostałe wyniki Pokaż wszystkie wyniki (16)

Wyniki wyszukiwania dla: JĘZYK WYMAGAŃ

  • Projektowanie systemów informatycznych z wykorzystaniem języka korzyści

    Publikacja

    - Rok 2016

    Celem rozdziału jest prezentacja możliwości zastosowania języka korzyści zamiast języka wymagań w projektowaniu systemów informatycznych. W części pierwszej został przedstawiony problem złożoności wymagań pozyskiwanych od klienta. Scharakteryzowano podstawowe pojęcia: inżynierii wymagań i języka wymagań oraz wskazano na ich znaczenie. W części drugiej przedstawiono koncepcję języka korzyści. Omówiono język korzyści z punktu widzenia...

  • Model systemu zarządzania wiedzą z uwzględnieniem aspektów wiarygodności

    Publikacja

    W rozdziale przedstawiony został model systemu zarządzania wiedzą, w którym uwzględniono aspekty wiarygodności. Dla zaprezentowanego modelu opisane zostały również metody definiowania wiarygodności w Sieci Semantycznej oraz wnioskowania względem wiedzy wzbogaconej o informacje na temat wiarygodności. Na początku model definiuje "ontologię wiarygodności" - ontologię, która pozwala przypisać pewne zbiory cech do konkretnych asercji....

  • A model-based approach to analysis of security protocols - a case study

    Publikacja
    • M. (. Olszewski

    - Rok 2005

    Artykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...

  • Narzędzia do specyfikowania wymagań

    Kursy Online
    • K. Brodnicki

  • Inżynieria Wymagań 2022/2023

    Kursy Online
    • A. Jarzębowicz

    Kurs Inżynieria Wymagań, Informatyka II stopień (stacjonarne), specjalność Inżynieria Systemów Informacyjnych