Essays about: "Specification theory"

Showing result 1 - 5 of 61 essays containing the words Specification theory.

  1. 1. THE GLOBAL BRAND AS A HEADQUARTERSUBSIDIARY DYNAMIC - A SINGLE CASE STUDY ON THE DYNAMICS OF INFLUENCING A GLOBAL BRAND

    University essay from Göteborgs universitet/Graduate School

    Author : Thomas Hendrik Kok; Nicholas P. Kähr; [2023-07-19]
    Keywords : Global Brand; Charter; Mandates; Headquarter Subsidiary Relationships; IR Framework; Corporate Branding; Case Study;

    Abstract : The topics of headquarter subsidiary relationships, global branding, and subsidiary charter and mandates all are widely studied fields. However, there seems to be a gap in bridging these fields of study. READ MORE

  3. 2. Advancements in Dependability Analysis of Safety-Critical Systems : Addressing Specification Formulation and Verification Challenges

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Zelin Yu; [2023]
    Keywords : Specification theory; Contracts; Automata theory; Refinement; Specifikationsteori; Kontrakt; Automatteori; Förfina;

    Abstract : Safety-critical systems have garnered increasing attention, particularly regarding their dependability analysis. In modern times, these systems comprise numerous components, making it crucial to verify that lower-level components adhere to their specifications will ensure the overall system’s compliance with its top-level specification. READ MORE

  4. 3. Multifinality in Ontological Security Theory : A Methodological Framework

    University essay from Uppsala universitet/Statsvetenskapliga institutionen

    Author : Frida Lampinen; [2023]
    Keywords : Ontological security; OST; Multifinality; China;

    Abstract : This thesis problematizes the incomplete understanding of multifinality in ontological security theory. The literature suggests two different interpretations of OST, but the relationship between these has so far received insufficient attention. READ MORE

  5. 4. Automated Inference of ACSL Contracts for Programs with Heaps

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Oskar Söderberg; [2023]
    Keywords : 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;

    Abstract : 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. READ MORE

  6. 5. The Relationship Between Idiosyncratic Volatility and Portfolio Return within Swedish Stock Markets.

    University essay from Göteborgs universitet/Graduate School

    Author : Christian Gray; Ricardo Sousa; [2022-06-29]
    Keywords : ;

    Abstract : Main results suggest there is a statistically and economically significant positive relationship between idiosyncratic volatility and portfolio return within the Swedish stock markets. This relationship is detected despite the low idiosyncratic volatility climate of Sweden. READ MORE