Avancerad sökning

Hittade 1 uppsats som matchar ovanstående sökkriterier.

1. 1. 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