Essays about: "specification language"

Showing result 16 - 20 of 96 essays containing the words specification language.

1. 16. Design and Implementation of Semantic Patch Support for the Spoon Java Transformation Engine

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

   Author : Mikael Forsberg; [2021]
   Keywords : ;

   Abstract : Software development is more often than not a collaborative process, creating a need for tools and file formats that enable developers to create and share succinct representations of changes to source code in order to facilitate efficient communication. Standard POSIX diffs and patches have long been important parts of the toolkit, but their lack of support for the syntax and semantics of specific programming languages results in limited expressiveness. READ MORE

3. 17. Readability: Man and Machine : Using readability metrics to predict results from unsupervised sentiment analysis

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

   Author : Martin Larsson; Samuel Ljungberg; [2021]
   Keywords : Natural language processing; Unsupervised learning; Sentiment analysis; Word embeddings; Readability; Språkteknologi; Oövervakad inlärning; Sentimentanalys; Ordinbäddningar; Läsbarhet;

   Abstract : Readability metrics assess the ease with which human beings read and understand written texts. With the advent of machine learning techniques that allow computers to also analyse text, this provides an interesting opportunity to investigate whether readability metrics can be used to inform on the ease with which machines understand texts. READ MORE

4. 18. Evaluating the utility of a contract compositionality proof framework

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

   Author : Anton Lövström; Anders Steen; [2020]
   Keywords : ;

   Abstract : A contract in system design is a concept used for specifying behaviors of and interactions between components in complex systems. Contracts make explicit the mutual commitments between components in a system. Nyberg et al propose a contracts theory and framework for proving the correctness of a decomposition of a system specification. READ MORE

5. 19. Big Data Workflows: DSL-based Specification and Software Containers for Scalable Execution

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

   Author : Yared Dejene Dessalk; [2020]
   Keywords : Big Data workflow; Domain-specific language; Software container; Message­ oriented middleware; Scalable execution; Big Data-arbetsflode; Doman-specifikt sprak; Programvarubehallare; Meddelande-orienterad mellanprogramvara; Skalbar korning;

   Abstract : Big Data workflows are composed of multiple orchestration steps that perform different data analytics tasks. These tasks process heterogeneous data using various computing and storage resources. READ MORE

6. 20. Test Case Generation from Specifications Using Natural Language Processing

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

   Author : Alzahraa Salman; [2020]
   Keywords : Software testing; Test case generation; Natural Language Processing; Test case specifications; Programvarutestning; Testfallsgenerering; Naturlig språkbehandling; Testfallspecifikationer;

   Abstract : Software testing plays a fundamental role in software engineering as it ensures the quality of a software system. However, one of the major challenges of software testing is its costs since it is a time and resource-consuming process which according to academia and industry can take up to 50% of the total development cost. READ MORE