Sökning: "kravbaserad"

Hittade 3 uppsatser innehållade ordet kravbaserad.

  1. 1. Using Requirement-Driven Symbolic Execution to Test Implementations of the CoAP and EDHOC Network Protocols

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Datalogi

    Författare :Sabor Amini; [2023]
    Nyckelord :Requirement-driven; Symbolic execution; Network protocols; CoAP; EDHOC; Kravbaserad; Symbolisk Exekvering; Nätverksprotokoll;

    Sammanfattning : As the number of Internet of Things devices is increasing rapidly, it is of utmost significance that the implementations of protocols for constrained devices are bug-free. In general implementations of network protocols are error-prone due to their complex nature and ambiguities in the protocol specification. LÄS MER

  2. 2. Välkommen på villkor : En studie av svenska partiers inställning till liberal multikulturalism och civila integrationskrav

    Kandidat-uppsats, Uppsala universitet/Statsvetenskapliga institutionen

    Författare :Cecilia Nyman; [2017]
    Nyckelord :integration; inkludering; civil integration; multikulturalism; assimilation; idealtypsanalys; medborgarskap;

    Sammanfattning : Studien undersöker huruvida idén om multikulturalism som under flera decennier haft ett starkt fäste i svensk politik har fått göra plats för en kravbaserad integrationsmodell. Föreställningen om vissa kulturella gruppers isolering från det demokratiska samhället samt händelser som t ex terrorattacker kopplade till religiös extremism har fört frågan om staters nationella säkerhet högre upp på den politiska agendan. LÄS MER

  3. 3. Kravbaserad layout - Algoritm för automatisk grafritning

    Kandidat-uppsats, KTH/Skolan för informations- och kommunikationsteknik (ICT)

    Författare :Zimin Chen; Huan Xie; [2016]
    Nyckelord :graph drawing algorithm; constraints-based; Sugiyama framework; Force-directed layout; Grafritningsalgoritm; kravbaserad; Sugiyama-ramverk; kraftbaserad layout.;

    Sammanfattning : I den här studien utformas och implementeras en prototyp av ett automatiskt grafritningsverktyg. Under processen analyseras och evalueras flera välkända och viktiga algoritmer. Algoritmen som används i prototypen modifieras och förbättras för att uppfylla företaget FindOuts speciella krav. LÄS MER