Sökning: "Software Specification"

Visar resultat 1 - 5 av 286 uppsatser innehållade orden Software Specification.

  1. 1. Product development of hand-held scooping utensil for the pharmaceutical industry

    Master-uppsats, KTH/Ergonomi

    Författare :Josefin Kruse; [2024]
    Nyckelord :;

    Sammanfattning : Musculoskeletal disorders (MSDs) are one of the most common groups of work-related illnesses. At PET Dispensing, AstraZeneca Södertälje, several MSDs had been linked to a specific scooping utensil made of stainless steel. LÄS MER

  3. 2. Challenges in Specifying Safety-Critical Systems with AI-Components

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

    Författare :Iswarya Malleswaran; Shruthi Dinakaran; [2023-09-26]
    Nyckelord :Software engineering; Requirement engineering; Specification; Safety; Computer Science; Engineering; Machine learning; Deep learning; Runtime monitor; Data Selection; Data Collection;

    Sammanfattning : Safety is an important feature in automotive industry. Safety critical system such as Advanced Driver Assistance System (ADAS) and Autonomous Driving (AD) follows certain processes and procedures in order to perform the desired function safely. LÄS MER

  4. 3. The impact of task specification on code generated via ChatGPT

    Kandidat-uppsats, Högskolan i Skövde/Institutionen för informationsteknologi

    Författare :Jonathan Lundblad; Edwin Thörn; Linus Thörn; [2023]
    Nyckelord :Code generation; task specification; prompt engineering; ChatGPT; human evaluation; code similarity;

    Sammanfattning : ChatGPT has made large language models more accessible and made it possible to code using natural language prompts. This study conducted an experiment comparing prompt engineering techniques called task specification and investigated their impacton code generation in terms of correctness and variety. LÄS MER

  5. 4. Code Synthesis for Heterogeneous Platforms

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

    Författare :Zhouxiang Fu; [2023]
    Nyckelord :Code Synthesis; Heterogeneous Platform; Zero-Overhead Topology Infrastructure; Kodsyntes; Heterogen plattform; Zero-Overhead Topologi Infrastruktur;

    Sammanfattning : Heterogeneous platforms, systems with both general-purpose processors and task-specific hardware, are largely used in industry to increase efficiency, but the heterogeneity also increases the difficulty of design and verification. We often need to wait for the completion of all the modules to know whether the functionality of the design is correct or not, which can cause costly and tedious design iteration cycles. LÄS MER

  7. 5. Investigations and Development in the Area of Automated Security Evaluation of Android Devices with Focus on Bluetooth

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

    Författare :Robin Holmquist; [2023]
    Nyckelord :Bluetooth; Android; Common Criteria; Automated dynamic security evaluation; Mobile device security; Bluetooth; Android; Common Criteria; Automatiserad dynamisk s¨akerhetstestning; S¨akerhet f¨or mobila enheter;

    Sammanfattning : Bluetooth is a technology that has been implemented in over 5 billion devices and therefore has a considerable impact. It is the dominant technology for shortrange wireless communication. LÄS MER