Avancerad sökning

Visar resultat 1 - 5 av 57 uppsatser som matchar ovanstående sökkriterier.

  1. 1. Method and Tooling for Automated Conformance Checking between Architecture - design and Implementation

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Vibha Satyam; [2023-10-25]
    Nyckelord :Architecture Model; UML diagram; implementation; coding; conformance checking; mapping schema; parsing tool;

    Sammanfattning : Many software and/or automotive companies use UML models to write the requirements and later they are implemented by coding. Involving multiple engineers from different teams makes the whole process complex and cumbersome. LÄS MER

  3. 2. Decentralized Validation of Reproducible Builds : A protocol for collaborative and decentralized validation of package reproducibility

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

    Författare :Johan Moritz; [2023]
    Nyckelord :Blockchain; Reproducible builds; Collaborative intelligence; Model checking; Hyperledger Fabric; TLA ; Blockkedjor; Reproducerbara byggen; Kollaborativ intelligens; Modeltestning; Hyperledger Fabric; TLA ;

    Sammanfattning : As the threat of supply-chain attacks grows, the need for techniques to protect software integrity likewise increases. The concept of reproducible builds is one such protection. LÄS MER

  4. 3. A SYSTEMATIC MAPPING STUDY ON ONLINE MODEL-BASED TESTING

    Magister-uppsats, Mälardalens universitet/Akademin för innovation, design och teknik

    Författare :Blerta Vuthaj; [2023]
    Nyckelord :;

    Sammanfattning : Background: Testing is an integral component of the software development process. It demands both time and resources. Model-based testing (MBT) is a testing strategy that automates the testing process and generates test cases using formal models. LÄS MER

  5. 4. Comparison of Magnetic-Susceptibility Models From UAV-borne and Ground Measurements in Enåsen Area, Sweden

    Kandidat-uppsats, Uppsala universitet/Institutionen för geovetenskaper

    Författare :Clara Sjödin; [2022]
    Nyckelord :magnetic susceptibility; Enåsen area; UAV survey; magnetic anomalies; Potent; magnetisk susceptibilitet; Enåsen; drönare; magnetiska anomalier; Potent;

    Sammanfattning : Mapping anomalies in the Earth’s magnetic field is one method used in applied geophysics, for exploring buried structures and objects. Magnetic surveys can be ground-based or made airborne, onboard airplanes, helicopters, or unmanned aerial vehicles (UAV), also known as drones. LÄS MER

  7. 5. Dimensionering av platta på mark : En jämförelse mellan hand- och datorberäkningar

    Uppsats för yrkesexamina på grundnivå, Högskolan i Halmstad/Akademin för företagande, innovation och hållbarhet

    Författare :Alba Dimashki; [2022]
    Nyckelord :PEPS; kantförstyvad; platta på mark; grundplatta; EPS; cellplastisolering;

    Sammanfattning : The digital revolution has introduced several tools for structural engineers in the form of computer programs. These computer tools have partly transformed the role of structural engineers from their performing manual calculations to using different computer programs, evaluating the results, and checking codes. LÄS MER