Essays about: "contract method"

Showing result 11 - 15 of 131 essays containing the words contract method.

  1. 11. Supply Chain Incentive Alignment in Bottom of the Pyramid environments

    University essay from Lunds universitet/Teknisk logistik

    Author : Rawan Yacoub; [2023]
    Keywords : Supply chain incentive alignment; Supply chain incentives; Bottom of the pyramid; Base of the pyramid; Multinational Corporations; Technology and Engineering;

    Abstract : Background: Alleviating poverty is critical for achieving sustainability (Zomorrodi et al., 2019). READ MORE

  3. 12. 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

  4. 13. A descriptive qualitative empirical study describing how basic hand hygiene is conducted in Lesotho as well as the healthcare staffs’ thoughts on it

    University essay from Luleå tekniska universitet/Institutionen för hälsa, lärande och teknik

    Author : Darren Wolle; Evelina Isacson; [2023]
    Keywords : hand hygiene; lesotho; hand sanitizer; hand washing; protective gloves; empirical; interviews.;

    Abstract : Background: Hand hygiene is now, more than ever, one of the most important factors to minimize spread of infection. In low income countries like Lesotho between 6% - 19% of patients contract at least one healthcare associated infection. Compared to between 3% - 10% in high income countries. READ MORE

  5. 14. Powering up profits - Integrating Power Purchase Agreements and Battery Systems for Nordic Power Futures

    University essay from Lunds universitet/Institutionen för energivetenskaper

    Author : William Thorwaldson; Ellen Jinglöv; [2023]
    Keywords : Power Purchase Agreements; Financial Power Trading; Battery Energy Storage Systems; Power Futures; Technology and Engineering;

    Abstract : This master’s thesis aims to assess the profitability and the factors impacting the profitability of entering a short position in financial derivative contracts on the Nordic power market while procuring electricity through a pay-as-produced power purchase contract and on the day-ahead (DA) market, simultaneously the strategy utilizes a battery storage system to mitigate the effects of price spikes. The research adopted a mixed-method approach by combining quantitative analysis with qualitative findings. READ MORE

  6. 15. Testing in microservice systems: A repository mining study on open-source systems using contract testing

    University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

    Author : Hartmut Fischer; [2022-05-02]
    Keywords : Microservice architecture; integration test; consumer-driven contract test; test pyramid; repository mining;

    Abstract : Context:There is a trend in the software industry to migrate systems from a monolithic to a microservice architecture (MSA) due to the gains in agility and scalability. An MSA-based system consists of a suite of small microservices which can be developed, tested, and deployed independently. READ MORE