Sökning: "kontraktteori"

Hittade 5 uppsatser innehållade ordet kontraktteori.

  1. 1. Evaluating the utility of a contract compositionality proof framework

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

    Författare :Anton Lövström; Anders Steen; [2020]
    Nyckelord :;

    Sammanfattning : A contract in system design is a concept used for specifying behaviors of and interactions between components in complex systems. Contracts make explicit the mutual commitments between components in a system. Nyberg et al propose a contracts theory and framework for proving the correctness of a decomposition of a system specification. LÄS MER

  3. 2. Nyttomaximering av samverkansprojekt ur ett kontraktteoretiskt perspektiv

    Master-uppsats, KTH/Fastigheter och byggande

    Författare :Anna Persson; [2015]
    Nyckelord :Partnering; Procurement; Contract; Contract theory; Samverkan; upphandling; kontrakt; kontraktteori;

    Sammanfattning : Målet med rapporten är att utreda hur samverkansprocessen kan genomföras på ett sådant sätt att nyttan kan maximeras för alla parter inom projektet. Detta görs genom att fokusera på tre delar; samverkan som definition och uppfattning på marknaden, upphandlingsfasen hur skall upplägget inom denna utformas för att anbud med rätt incitament för projektet skall bli antaget, samt hur kontraktet skall utformas för att få samtliga parter att vilja jobba tillsammans mot ett gemensamt mål, vilket ska gagna alla engagerade och därmed projektet. LÄS MER

  4. 3. Requirement specification Editor : REQUIREMENTS EDITOR BASED ON CONTRACT THEORY

    Uppsats för yrkesexamina på grundnivå, KTH/Skolan för informations- och kommunikationsteknik (ICT)

    Författare :Per Hedman; [2014]
    Nyckelord :Neo4J; Grafdatabas; .Net; C#; Visual Studio; Contract theory; ISO 26262; Neo4J; Grafdatabas; .Net; C#; Visual Studio; Contract theory; ISO 26262;

    Sammanfattning : Vid utveckling av tyngre fordon inför man allt fler avancerade funktione. Mycket av denna funktionalitet handlar om att maskiner automatiskt ska utföra uppgifter för att assistera föraren. Detta leder till att nya risker uppstår. Och till följd av detta har man börjat skapa nya funktionella säkerhetsstandarder. LÄS MER

  5. 4. Design, Measurement and Verification of Scania’s Platform Software Architecture for Safety Related Embedded Systems

    Master-uppsats, KTH/Maskinkonstruktion (Inst.)

    Författare :Martin Härberg; Roberto Chiarito; [2013]
    Nyckelord :;

    Sammanfattning : The platform software architecture for the safety related embedded systems developed by Scania has become increasingly more complex. High complexity raises both the risk of failures and the time consumed by software developers to understand and debug the source code. LÄS MER

  7. 5. Samarbetet mellan leverantör och dagligvaruhandel vid tillverkning av EMV : en studie av EMV på den svenska mejerimarknaden

    L3-uppsats, SLU/Dept. of Economics

    Författare :Annika Svennung; [2008]
    Nyckelord :egna märkesvaror; mejeri; dagligvaruhandel; kontrakt;

    Sammanfattning : Dagligvaruhandeln befinner sig i en hård konkurrenssituation. Det gäller att locka konsumenter till kedjornas butiker, och framförallt få dem att bli trogna kunder. Detta har lett till att livsmedelskedjorna antagit ett antal strategier för att stärka konkurrensförmågan. En av dessa är EMV, Egna Märkesvaror. LÄS MER