Essays about: "specification language"

Showing result 1 - 5 of 96 essays containing the words specification language.

  1. 1. Choosing authentication protocol for digital signatures : A comparison between SAML and OIDC

    University essay from Linköpings universitet/Institutionen för datavetenskap

    Author : Pontus Kågström; [2023]
    Keywords : OpenID Connect SAML OIDC Security Assertion markup language;

    Abstract : More and more companies are working toward digitizing their workflow and this has increased the necessity of digital signatures.An important part of digital signatures is the authentication process which is heavily regulated for Swedish government agencies by DIGG, DIGG only allows the use of Security Assertion Mark-up Language(SAML) for authentication but are looking into also allowing OpenID Connect(OIDC) and together with Swedish OIDC working group produce a specification. READ MORE

  3. 2. Advancements in Dependability Analysis of Safety-Critical Systems : Addressing Specification Formulation and Verification Challenges

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

    Author : Zelin Yu; [2023]
    Keywords : Specification theory; Contracts; Automata theory; Refinement; Specifikationsteori; Kontrakt; Automatteori; Förfina;

    Abstract : Safety-critical systems have garnered increasing attention, particularly regarding their dependability analysis. In modern times, these systems comprise numerous components, making it crucial to verify that lower-level components adhere to their specifications will ensure the overall system’s compliance with its top-level specification. READ MORE

  4. 3. One Compiler to Rule Them All : Extending the Storm Programming Language Platform with a Java Frontend

    University essay from Linköpings universitet/Institutionen för datavetenskap

    Author : Simon Ahrenstedt; Daniel Huber; [2023]
    Keywords : storm; language technology; context free grammar; regular language; context free language; compiler; action research; EBNF; BNF; intermediate code generation; parser; basic storm; java compiler frontend; syntax language; syntax transformation;

    Abstract : The thesis aims to develop a method for extending the language platform Storm with a Java frontend.The project was conducted using an Action Research methodology and highlights triumphs andchallenges. READ MORE

  5. 4. Automatic Generation Of Graphical Editors From Graphical Notation Specifications

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

    Author : Joakim Korhonen; Gloria Ninsiima; [2023]
    Keywords : ;

    Abstract : The use of graphical editors in model-driven engineering has increased as they simplify the design of domain systems by allowing users to manipulate elements using diagrams. This helps developers by elaborating systems and making them easier to analyze with visual representations and with less coding. READ MORE

  6. 5. Automated Inference of ACSL Contracts for Programs with Heaps

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

    Author : Oskar Söderberg; [2023]
    Keywords : Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Abstract : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. READ MORE