Sökning: "formalisering"

Visar resultat 1 - 5 av 89 uppsatser innehållade ordet formalisering.

  1. 1. An Arrow Metalanguage for Partially Invertible Computation

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

    Författare :Anders Ågren Thuné; [2023]
    Nyckelord :Reversible computation; Domain-specific languages; Arrows; Partial invertibility; Reversibel beräkning; Domänspecifika språk; Arrows; Partiell inverterbarhet;

    Sammanfattning : Programming languages traditionally describe computations going one way: a program might compute a hash value from a string, or an encrypted message from a plaintext. However, sometimes it is also of interest to go the other way around: for encryption, we not only want to encrypt messages but also to decrypt them, and to be sure that the decryption correctly reproduces the original message. LÄS MER

  3. 2. Tracking of value and realization of digital transformation: A maturity assessment model

    Master-uppsats, KTH/Skolan för industriell teknik och management (ITM)

    Författare :Otavio Horn Oliveira; Leonie Rübenacker; [2023]
    Nyckelord :Digital transformation; Tracking; Prioritization; Maturity assessment; Digital transformation; Uppföljning; Prioritering; Mognadsbedömning;

    Sammanfattning : Since today’s fast-paced landscapes evolves into digital environments, businesses are faced by the need of performing digital transformation, as it will support them in staying competitive. However, when executing digital transformation, it becomes important to prioritize the right initiatives to ensure efficient budget allocation, as well as to track progress and value realization to assess real impact and to secure efficient realization. LÄS MER

  4. 3. ARBETSTERAPEUTERNAS STANDARDISERADE ARBETE INOM EN NY DIAGNOS PÅ ETT AKUTSJUKHUS Motiv och utmaningar vid framtagning av arbetssätt

    Magister-uppsats, Göteborgs universitet/Institutionen för filosofi, lingvistik och vetenskapsteori

    Författare :Daniela Stattin; [2022-08-17]
    Nyckelord :Standardisering; arbetssätt; individuella bedömningar; arbetsterapeuter; postcovid;

    Sammanfattning : Syfte: Syftet med magisteruppsatsen är att förstå vad standardisering av arbetssätt med postcovidpatienter på ett akutsjukhus kan innebära för arbetsterapeuterna. Teori: I uppsatsen analyseras teoretiska begrepp och dessa är standardisering av Timmermans och Berg, formalisering och bedömning av Bohlin och Sager samt mekanisk objektivitet av Porter. LÄS MER

  5. 4. Ekonomistyrning under tillväxt : Användning av ekonomistyrning i gasellföretag

    Magister-uppsats, Linnéuniversitetet/Institutionen för ekonomistyrning och logistik (ELO)

    Författare :Elina Östman; Klara Engström; [2022]
    Nyckelord :Management accounting; gazelle companies; growth; growth cycle.; Ekonomistyrning; gasellföretag; tillväxt; tillväxtcykel.;

    Sammanfattning : Bakgrund och problem: Gasellföretag kännetecknas av att vara unga och snabbväxande verksamheter. I takt med dess tillväxt kan interna såväl som externa utmaningar uppkomma, vilket skapar ett behov av att kontrollera den snabbväxande organisationen. LÄS MER

  7. 5. Frivillig rapportering om hållbar utveckling i svenska små och medelstora företag : En studie om varför svenska små och medelstora företag frivilligt väljer att arbeta med offentlig rapportering avseende hållbar utveckling

    Kandidat-uppsats, Högskolan i Halmstad/Akademin för företagande, innovation och hållbarhet

    Författare :Matilda Stork Sandqvist; Wilma Larsson; [2021]
    Nyckelord :Små och medelstora företag; hållbar utveckling; tvingande och möjliggörande formalisering; tvingande isomorfism;

    Sammanfattning : Syfte: Studien syftar till att beskriva och förstå varför svenska små och medelstora företag frivilligt väljer att arbeta med rapportering om hållbar utveckling.  Teoretisk referensram: Studiens teoretiska referensram innefattar tre huvudsakliga områden: Hållbar utveckling, Institutionell teori och Tvingande och möjliggörande formalisering. LÄS MER