Sökning: "functional contracts"

Visar resultat 1 - 5 av 29 uppsatser innehållade orden functional contracts.

  1. 1. Entreprenörens funktionsåtagande enligt ABT 06 – särskilt om det ändamålsinriktade funktionsansvaret

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

    Författare :Edvin Lundberg; [2023]
    Nyckelord :Avtalsrätt; Civilrätt; Förmögenhetsrätt; Law and Political Science;

    Sammanfattning : Den juridiska regleringen av den svenska kommersiella byggnads- och anläggningsbranschen domineras av standardavtal framtagna av Byggandets Kontraktskommitté (BKK). AB 04 utgör de allmänna bestämmelserna för utförandeentreprenader och ABT 06 för totalentreprenader. LÄS MER

  3. 2. Att upphandla e-arkiv : En undersökning av svenska kommuners kravspecifikationer

    Master-uppsats, Uppsala universitet/Institutionen för ABM

    Författare :Amanda Holm; Pernilla Hjelm Andersson; [2023]
    Nyckelord :Digital archive; born digital; contracting; OAIS; Records Continuum Model; standardization; E-arkiv; born digital; upphandling; OAIS; Records Continuum Model; standardisering;

    Sammanfattning : This study concerns the contracting of digital archives for Swedish municipalities and the needs and requirements that govern this. Since the early 2000s, the Swedish government has been interested in expanding the utilization of digital information management. LÄS MER

  4. 3. Designing a framework of KPIs to measure and evaluate electric road freight : A qualitative study of the market perspectives

    Master-uppsats, Linköpings universitet/Logistik- och kvalitetsutveckling

    Författare :Linn Bengtsson; Sara Gimbro Nielsen; [2022]
    Nyckelord :Logistics; Electric road freight; KPIs; Market analysis; Transport sector;

    Sammanfattning : The electrification of the road freight sector has been visible in society during the last couple of years, where several companies have started to o↵er electric solutions. Further, this is due to an increased awareness of the negative impact of transport on the environment. LÄS MER

  5. 4. Towards Engineering Trustworthy Distributed Reputation Systems Over The Blockchain

    Kandidat-uppsats, Malmö universitet/Fakulteten för teknik och samhälle (TS)

    Författare :Georg Grankvist; Paul Moustakas; [2022]
    Nyckelord :Blockchain; Ethereum; Smart Contract; NFT; Bank-ID; Software Architecture; Reputation Systems; Sybil Attack; Re-entry Attack; P2P; Distributed;

    Sammanfattning : Peer-to-peer (P2P) reputation systems, such as those used by eBay and Amazon, servean important role on the web, especially in E-commerce, as online reputation serves asa primary guiding factor for consumers in making informed decisions. The importanceof these systems, and also the increasing popularity of P2P and distributed systems, theissue of how to prevent and resist sybil and re-entry attacks becomes an important area ofresearch as they can impinge the integrity of those systems. LÄS MER

  7. 5. Synthesis of Annotations for Partially Automated Deductive Verification

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

    Författare :Daniel Skantz; [2021]
    Nyckelord :;

    Sammanfattning : We investigate the possibility of inferring annotations from source code to enable a partially automated process of deductive verification within the scope of embedded systems code. Specifically, we design a plugin for the verification framework Frama-C, that synthesizes function contracts including every precondition necessary to later prove functional software specifications. LÄS MER