Essays about: "specification language"

Showing result 6 - 10 of 96 essays containing the words specification language.

  1. 6. Detecting Bad Smells in Industrial Requirements Written in Natural Languages

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

    Author : Eriksson Marie-Janette; Brouillette Emma; [2022]
    Keywords : Industrial Requirements; Requirement Engineering; Software Requirements Specification; Natural Language; Bad Smells; Requirements Smells; Tool Testing;

    Abstract : A key factor in creating software of good quality is that the requirements for the project being developed are as unambiguous and clear as possible, so the developers will be able to develop the product quickly and effectively. So, there is a need for tools that help requirements engineers create quality requirements. READ MORE

  3. 7. Contract-Based Verification in TriCera

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Pontus Ernstedt; [2022]
    Keywords : ;

    Abstract : Contracts are a powerful construct for programmers to communicate intent with functions, focusing on the what rather than the how. In this thesis, we move contracts from being just a form of communication to also have them define what it means for a software to be correct, and apply formal verification techniques to verify that contracts are never violated. READ MORE

  4. 8. Application of formal verification and validation on modern multi-functional signalling system

    University essay from KTH/Transportplanering

    Author : Shamsul Arefin; [2022]
    Keywords : ;

    Abstract : Demand for rail transport is increasing day by day. Rail is popular in public transport due to punctuality, regularity, and safety. However, we hear daily that rail traffic still has many problems to solve about incidents, near misses, and signal errors. READ MORE

  5. 9. A model checking tool for dynamic multi-agent systems

    University essay from Uppsala universitet/Institutionen för informationsteknologi

    Author : Ye Leng; [2022]
    Keywords : ;

    Abstract : A multi-agent system (MAS) is a system composed of multiple interacting agents which can perform actions in a competitive environment. Among the theoretical framework which model MAS, we focus on named homogeneous and dynamic multi-agent system (HDMAS) first presented in [1]. HDMAS has two significant features: 1. READ MORE

  6. 10. Compiler Testing of C11 Atomics for Arm and RISC-V

    University essay from Uppsala universitet/Datorteknik

    Author : Hampus Adolfsson; [2022]
    Keywords : compiler; compiler testing; atomics; c11 atomics; arm; risc-v;

    Abstract : The C11 standard introduced atomic types and operations, with an accompanying memory model, to enable the use of shared variables in concurrent programs. In this thesis, I demonstrate how compilers can be tested, in a way that is deterministic and covers the entire set of atomic operations, to ensure they correctly implement C11 atomics and the C11 memory model. READ MORE