Sökning: "domain specific language DSL"

Visar resultat 6 - 10 av 25 uppsatser innehållade orden domain specific language DSL.

1. 6. Prototyping a formal system modeling workbench in the java ecosystem : A Domain Specific Language in Groovy

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

   Författare :Joakim Savegren; Joar Edling; [2022]
   Nyckelord :ForSyDe; Models of Computation; Domain Specific Language DSL ; Data-flow; Embedded Software; Modeling; Programvara för inbyggda system; ForSyDe; Beräkningsmodeller; Domänspecifika språk; Data flöde; Modellering;

   Sammanfattning : Modeling is a fundamental property in today’s development of embedded systems. Models of computation enable us to describe the functionality and characteristics of a system on a higher abstraction level which gives the designer great insight in the behavior of the final implemented system at a very early stage in the design process. LÄS MER

3. 7. μSPL - Proprietary Graphics Language Transpiler : Asserting translation correctness using runtime verification

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

   Författare :Henrik Andersson Glass; [2021]
   Nyckelord :Cockpit Display System; Compiler Correctness; Compiler; Transpiler; Computer Graphics; Cockpitpresentationssystem; Kompilatorkorrekthet; Kompilator; Transpilator; Datorgrafik;

   Sammanfattning : The Swedish Armed Forces are currently considering extending the operational life of the Saab JAS 39 Gripen C/D multirole fighter aircraft by an additional 10 to 20 years. This has resulted in a need to upgrade many of the hardware components originally developed in the late 1980s and early 1990s. LÄS MER

4. 8. Filtering False Positive Alarms in JavaDL and Language Experience Report

   Master-uppsats, Lunds universitet/Institutionen för datavetenskap

   Författare :Karl-Oskar Rikås; Frank Weslien; [2021]
   Nyckelord :static program analysis; alarm filtering; feature engineering; Technology and Engineering;

   Sammanfattning : JavaDL is a domain-specific language (DSL) for writing static program analyses in a declarative logic programming style, based on Datalog. The key feature of this DSL is the ability to pattern-match on literal source code syntax and reason non-locally through declarative programming. LÄS MER

5. 9. HypervisorLang : Attack Simulations of the OpenStack Nova Compute Node

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

   Författare :Freddy Aasberg; [2021]
   Nyckelord :;

   Sammanfattning : Cloud services are growing in popularity and the global public cloud services are forecasted to increase by 17% in 2020[1]. The popularity of cloud services is due to the improved resource allocation for providers and simplicity of use for the customer. LÄS MER

7. 10. Spira: A language for prototyping grid board games with linear logic in Haskell

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

   Författare :Nicke Carlsson; Simon Edvardsson; Oskar Grekula; Erik Ljungdahl; Jennie Zhou; [2020-10-30]
   Nyckelord :;

   Sammanfattning : This project explores the process of creating a board game model and introduces a new high level domain-specific language called Spira that specialises in prototyping grid board games. Spira is a DSL, embedded in Haskell, that generates Ceptre code. LÄS MER