Essays about: "specification language"

Showing result 11 - 15 of 96 essays containing the words specification language.

1. 11. Software Synthesis of Synchronous Data Flow Models Using ForSyDe IO

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

   Author : Yihang Zhao; [2022]
   Keywords : Synchronous Data Flow; Software Synthesis; ForSyDe; ForSyDe IO; Synkront dataflöde; Mjukvarusyntes; ForSyDe; ForSyDe IO;

   Abstract : The implementation of embedded software applications is a complex process. The complexity arises from the intense time-to-market pressures; power and memory constraints. To deal with this complexity, an idea is to automatically construct the applications based on the high-level abstraction model. READ MORE

3. 12. Påskkärringar or cute witches? How cultural words are translated in tourist information websites

   University essay from Göteborgs universitet/Institutionen för språk och litteraturer

   Author : Astrid Liedholm; [2021-10-04]
   Keywords : English; cultural words; translation; translation strategies; Extralinguistic Cultural References; word analysis; tourist information;

   Abstract : This study investigates how some words are more tied to a specific culture than others, and how that can create issues in terms of translation. This essay shows the various strategies used when translating these so-called ‘cultural’ words into another language. READ MORE

4. 13. Automated inference of ACSL function contracts using TriCera

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

   Author : Jesper Amilon; [2021]
   Keywords : Formal Verification; Contract inference; Hoare Logic; Model Checking; Horn clauses; Formell verifikation; Kontraktgenerering; Formell semantik; Hoare logik; Modellprovning; Horn clauses;

   Abstract : This thesis explores synergies between deductive verification and model checking, by using the existing model checker TriCera to automatically infer specifications for the deductive verifier Frama-C. To accomplish this, a formal semantics is defined for a subset of ANSI C, extended with assume statements, called Csmall. READ MORE

5. 14. A Method for Porting Software Using Formal Specifications

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

   Author : Fredrik Öberg; Magnus Fredriksson; [2021]
   Keywords : porting; formal specification; TLA ; testing; Rust; portering; formell specifikation; TLA ; testning; Rust;

   Abstract : Formal specifications are mathematically based techniques with which a system can be analyzed, and its functionalities be described. Case studies have shown that using formal specifications can help reduce bugs and other inconsistencies when implementing a complex system; they are more likely found during the software design phase rather than later. READ MORE

6. 15. A SYSTEMATIC MAPPING STUDY ON DEVELOPMENT OF BLOCKCHAIN-BASED SMART CONTRACTS

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

   Author : William Nordberg; [2021]
   Keywords : Smart contracts; smart contracts development; blockchain; blockchain-based smart contracts;

   Abstract : Context - Blockchain-based smart contracts have drawn the attention of scientific communities and businesses in recent years. The development of blockchain-based smart contracts is different from the development of conventional software due to the blockchain characteristics such as immutability, trustlessness, being append-only, and being decentralized. READ MORE