Sökning: "Gustav Nyberg"

Hittade 3 uppsatser innehållade orden Gustav Nyberg.

  1. 1. Verifying Correctness of Contract Decompositions

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Gustav Hedengran; [2020]
    Nyckelord :;

    Sammanfattning : The importance of verification in safety critical systems is well known. However, due to the complexity of verification, the task of formally verifying large safety-critical systems might prove computationally infeasible in many cases. Compositional verification is a technique aimed at enabling verification of large safety-critical systems. LÄS MER

  3. 2. Hinder vid överlämning i projekt : Projektledares upplevelser av överlämning till interna mottagare

    Master-uppsats, Karlstads universitet/Handelshögskolan

    Författare :Gustav Nyberg; Frida Orlinder; [2017]
    Nyckelord :Project management; obstacles in project handover; municipal construction projects; internal receivers; administration; Projektledning; hinder vid överlämning; kommunala bygg- och anläggningsprojekt; intern mottagare; förvaltning;

    Sammanfattning : Överlämningen är en viktig del av slutfasen i ett projekt. Det är då projektresultatet lämnas över till den som ska förvalta det: den interna mottagaren. Hur överlämningen går till blir därför avgörande för projektet och resultatets framgång. Trots detta finns det lite forskning om överlämning till just intern mottagare. LÄS MER

  4. 3. Påverkan av olika skräckelement i spel

    Kandidat-uppsats, Södertörns högskola/Institutionen för naturvetenskap, miljö och teknik

    Författare :Gustav Nyberg; Robin Söderberg; [2015]
    Nyckelord :Horror; games; engagement; experience; quantitative; explorative; Skräck; spel; engagemang; upplevelse; kvantitativ; explorativ;

    Sammanfattning : The purpose of the study was to try and see how the usage of game elements in games, affect our experience in horror games. We used the fundamentals of the 12-Item Narrative Engagement Scale to gather the data, and also changed the model a bit to better fit the subject. LÄS MER