Sökning: "Domänspecifikt språk"

Visar resultat 1 - 5 av 22 uppsatser innehållade orden Domänspecifikt språk.

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. Text- kontra blockbaserad introduktion till programmering

   Kandidat-uppsats, Linköpings universitet/Institutionen för datavetenskap

   Författare :Joakim Persson; Edvin Nilsson Sommermark; [2023]
   Nyckelord :programming; text-based programming; block-based programming; beginners programming; domain specific language; digital programming; visual programming; programmering; textbaserad programmering; blockbaserad programmering; programmering nybörjare; domänspecifikt språk; digital lekplats; visuell programmering;

   Sammanfattning : Blockbaserade utvecklingsmiljöer blir allt vanligare för att lära ut grunderna i programmering. Metoden har visat sig ha flera fördelar jämfört med textbaserad programmering, som historiskt sett varit den ledande metoden för undervisning. LÄS MER

7. 5. Collecting Cyber Traces : Adding Forensic Evidence In Threat Models

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

   Författare :Dingli Mao; [2023]
   Nyckelord :Threat Modeling; Security and Risk Analysis; Forensic Evidence; Domain Specific Language; hotmodellering; Säkerhet och riskanalys; Kriminaltekniska bevis; Domänspecifikt språk;

   Sammanfattning : There is a rising concern about cyber security as both industry and individuals depend increasingly on the Internet. Threat modeling and attack simulations are the main approaches for the security analyst to examine the universal reliability of Information Technology infrastructures. LÄS MER