Sökning: "DSL"

Visar resultat 1 - 5 av 44 uppsatser innehållade ordet DSL.

1. 1. A Language for Board Games – Development of an Embedded Domain-Specific Language for Describing Board Games

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

   Författare :Edvin Alestig; Joel Ericson; Erik Eriksson; Lukas Schiavone; Filip Torphage; Joakim Tubring; [2023-03-03]
   Nyckelord :DSL; domain-specific languages; Haskell; functional programming; board games; game theory; domänspecifika språk; funktionell programmering; brädspel; spelteori;

   Sammanfattning : In recent years board games have increasingly found themselves in the digital medium. One way to enable easier creation of digital board games is to create a domainspecific language (DSL) for that purpose. This thesis details the process of developing an embedded DSL for describing board games with Haskell as its host language. LÄS MER

3. 2. HasLin - ett DSL för linjär algebra

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

   Författare :Adam Eliasson; Daniel Nikoalev; Filip Nordmark; Sebastian Sjögren; Linus Sundkvist; [2023-03-03]
   Nyckelord :Haskell; DSL; Linjär algebra; Agda; pedagogik; bevis;

   Sammanfattning : Matematik är en viktig del av datavetenskap och ett vanligt förekommande ämne på teknikinriktade program på universitet är linjär algebra. Om matematik tolkas inom kontexten av ett domänspecifikt språk kan klyftan mellan matematik och datavetenskap överbryggas. LÄS MER

4. 3. Context-aware security testing of Android applications : Detecting exploitable vulnerabilities through Android model-based security testing

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

   Författare :Ivan Baheux; [2023]
   Nyckelord :Android Application Security; Vulnerability Detection; Context-Awareness; Model-Based Security Testing; Domain Specific Language; Sécurité des Applications Android; Détection de Vulnérabilités; Sensibilité au Contexte; Tests de Sécurité Basés sur les Modèles; Langage Dédiés; Android-applikationssäkerhet; Upptäckt av sårbarheter; Kontextmedvetenhet; Modellbaserad säkerhetstestning; Domänspecifikt språk;

   Sammanfattning : This master’s thesis explores ways to uncover and exploit vulnerabilities in Android applications by introducing a novel approach to security testing. The research question focuses on discovering an effective method for detecting vulnerabilities related to the context of an application. LÄS MER

5. 4. Trace Visualization of Distributed and Centralized Applications

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

   Författare :Siwei Zhang; [2023]
   Nyckelord :Trace Compass; Trace Analysis; Trace Visualization; gNodeB; LTTng; Spårkompass; spåranalys; spårvisualisering; gNodeB; LTTng;

   Sammanfattning : The Radio Access Network (RAN) plays a vital role in enabling mobile network connectivity using radio waves. Gaining a comprehensive understanding of RAN applications is crucial, and trace analysis provides valuable insights into their operations. LÄS MER

7. 5. Integrating the Meta Attack Language in the Cybersecurity Ecosystem: Creating new Security Tools Using Attack Simulation Results

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

   Författare :Frida Grönberg; Björn Thiberg; [2022]
   Nyckelord :Meta Attack Language; Attack Simulation; Amazon EC2; Cybersecurity;

   Sammanfattning : Cyber threat modeling and attack simulations arenew methods to assess and analyze the cybersecurity of ITenvironments. The Meta Attack Language (MAL) was createdto formalize the underlying attack logic of such simulationsby providing a framework to create domain specific languages(DSLs). LÄS MER