Sökning: "Compositionality"

Visar resultat 1 - 5 av 6 uppsatser innehållade ordet Compositionality.

  1. 1. Composing Specifications Given in Different Formalisms

    Kandidat-uppsats, KTH/Datavetenskap

    Författare :Arvid Siberov; Gabriel Skoglund; [2022]
    Nyckelord :;

    Sammanfattning : The field of contract theory is concerned with formal proofs of how smaller components may be composed into larger systems. This thesis shows how one framework for constructing such proofs may be used to prove properties of compositions where some components are specified using the TLA+ formalism. LÄS MER

  3. 2. Evaluating the utility of a contract compositionality proof framework

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

    Författare :Anton Lövström; Anders Steen; [2020]
    Nyckelord :;

    Sammanfattning : 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. LÄS MER

  4. 3. Verifying Correctness of Contract Decompositions

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

    Författare :Gustav Hedengran; [2020]
    Nyckelord :;

    Sammanfattning : The importance of verification in safety critical systems is well known. However, due to the complexity of verification, the task of formally verifying large safety-critical systems might prove computationally infeasible in many cases. Compositional verification is a technique aimed at enabling verification of large safety-critical systems. LÄS MER

  5. 4. Exploring the Compositionality of German Particle Verbs

    Master-uppsats, Uppsala universitet/Institutionen för lingvistik och filologi

    Författare :Carina Rawein; [2018]
    Nyckelord :particle verbs; German particle verbs; distributional similarity; word embeddings; compositionality;

    Sammanfattning : In this thesis we explore the compositionality of particle verbs using distributional similarity and pre-trained word embeddings. We investigate the compositionality of 100 pairs of particle verbs with their base verbs. The ranking of our findings are compared to a ranking of human ratings on compositionality. LÄS MER

  7. 5. Webbsökning: En genväg till ett idiomatiskt språkbruk för främmandespråksinlärare?

    Kandidat-uppsats, Karlstads universitet/Institutionen för språk, litteratur och interkultur

    Författare :Steinunn Blöndal; [2014]
    Nyckelord :;

    Sammanfattning : Språkbruk innehåller till stor del konventionaliserade språkliga mönster. Det kan handla om specifika ord, mer eller mindre fasta eller kompositionella flerordsenheter, hela yttranden eller grammatiska strukturer. En god kännedom av dessa språkliga mönster höjer graden av idiomaticitet i språkanvändningen. LÄS MER