Sökning: "beteende kontrakt"

Visar resultat 1 - 5 av 28 uppsatser innehållade orden beteende kontrakt.

  1. 1. Automated Inference of ACSL Contracts for Programs with Heaps

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

    Författare :Oskar Söderberg; [2023]
    Nyckelord :Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Sammanfattning : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. LÄS MER

  3. 2. Studentkontraktet : En studie om studenters föreställningar om sin utbildning, sina lärare och varandra

    Kandidat-uppsats, Linnéuniversitetet/Institutionen för samhällsstudier (SS)

    Författare :Gabriella Schelin; [2022]
    Nyckelord :Educational Contract; Teaching Contract; Student Contract; Social Contract; Academic Entitlement; Utbildningskontrakt; Undervisningskontrakt; Studentkontrakt; Akademiskt berättigande; Socialt kontrakt; Academic Entitlement;

    Sammanfattning : This study examines present beliefs and expectations amongst university students which define the higher educational setting in Sweden. These beliefs and expectations can be understood as a Teaching Contract, which refers to a Social Contract between students, instructors, and higher education in general. LÄS MER

  4. 3. Smart contracts for secure vehicular sharing­access systems using blockchain technologies

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

    Författare :Zhangchi Qin; [2022]
    Nyckelord :Blockchain; Vehicular Sharing; Booking and Payment; Layer­2 Technology; Smart Contract; Blockchain; Fordonsdelning; Bokning och betalning; Layer­2 Technology; Smart Contract;

    Sammanfattning : Ongoing research suggests decentralized solutions based on blockchain for vehicle sharing scenario, to solve the fairness and privacy violation issues in centralized platforms. Users can transfer funds and execute decentralized applications, called smart contracts, in these blockchain­based platforms. LÄS MER

  5. 4. Viktiga Faktorer och Strategier för Framgångsrika Digitala Transformationer i Tillverkningsorganisationer : En Fallstudie på Volvo Lastvagnar

    M1-uppsats, Högskolan i Borås/Akademin för textil, teknik och ekonomi

    Författare :Manvir Singh; [2022]
    Nyckelord :Change management; digital transformation; change resistance; future state vision; employee involvement; theory of planned behavior; psychological contract; skeuomorphism; Förändringsledning; digital transformation; förändringsmotstånd; framtida statsvision; medarbetarengagemang; teori om planerat beteende; psykologiskt kontrakt; skeuomorfism;

    Sammanfattning : Overcoming resistance to change is crucial for organizational changes. In manufacturing companies, changes and digital transformations are more frequently occurring and in faster paces. LÄS MER

  7. 5. Utvecklingssamtalets dolda funktioner : En kvalitativ studie om hur medarbetare upplever att utvecklingssamtalet formar det psykologiska kontraktet

    Kandidat-uppsats, Högskolan i Skövde/Institutionen för handel och företagande

    Författare :Robin Felfle; Moa Nordquist; [2021]
    Nyckelord :psychological contracts; employee; sources of information; performance appraisal; psykologiska kontrakt; medarbetare; informationskällor; utvecklingssamtal;

    Sammanfattning : Föreliggande studie undersöker utvecklingssamtalets roll i att forma det psykologiska kontraktet. Den hermeneutiska spiralen har legat till grund för studiens struktur, och empiri har samlats in genom semistrukturerade intervjuer. LÄS MER