Essays about: "software model checking"

Showing result 1 - 5 of 53 essays containing the words software model checking.

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

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

    Author : Vibha Satyam; [2023-10-25]
    Keywords : Architecture Model; UML diagram; implementation; coding; conformance checking; mapping schema; parsing tool;

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

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

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

    Author : Johan Moritz; [2023]
    Keywords : Blockchain; Reproducible builds; Collaborative intelligence; Model checking; Hyperledger Fabric; TLA ; Blockkedjor; Reproducerbara byggen; Kollaborativ intelligens; Modeltestning; Hyperledger Fabric; TLA ;

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

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

    University essay from Mälardalens universitet/Akademin för innovation, design och teknik

    Author : Blerta Vuthaj; [2023]
    Keywords : ;

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

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

    University essay from Uppsala universitet/Institutionen för geovetenskaper

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

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

  6. 5. The impact of expiration date tracking software in grocery stores : A task-technology fit review of information systems used for date-checking in grocery stores

    University essay from Uppsala universitet/Institutionen för informatik och media

    Author : Anna Enstam; [2022]
    Keywords : expiration date tracking software; food waste; information system; task- technology fit; case study;

    Abstract : Each year, 1.3 billion tons of food produced for human consumption are lost or go to waste globally throughout the food supply chain (FSC). Increasing the efficiency of the entire FSC is an essential action in achieving food security for the global population, which includes reducing the amount of food lost and wasted. READ MORE