Search results for: JĘZYK WYMAGAŃ - Bridge of Knowledge

Search

Search results for: JĘZYK WYMAGAŃ

Best results in : Research Potential Pokaż wszystkie wyniki (13)

Search results for: 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...

Best results in : Business Offer Pokaż wszystkie wyniki (2)

Search results for: JĘZYK WYMAGAŃ

Other results Pokaż wszystkie wyniki (16)

Search results for: JĘZYK WYMAGAŃ

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

    Publication

    - Year 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

    Publication

    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

    Publication
    • M. (. Olszewski

    - Year 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ń

    e-Learning Courses
    • K. Brodnicki

  • Inżynieria Wymagań 2022/2023

    e-Learning Courses
    • A. Jarzębowicz

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