Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"exekuce."”.
-
Ověřování asercí kódu pomocí zpětné symbolické exekuce
… jsme jej implementovali pomocí zpětné symbolické exekuce. Přestože je momentálně schopen pracovat pouze se základními konstrukty a typy jazyka C#, srovnání s existujícími nástroji ukázalo, že při dalším rozvoji má potenciál poskytnout uživateli významnou přidanou hodnotu. Powered by TCPDF …
-
Konfigurovatelná paralelní exekuce systémových testů v rámci projektu Strimzi
V poslednych rokoch mnoho spolocnosti prijalo Kubernetes a architekturu mikrosluzieb, ktoru umoznuje. Tato technologia otvorila nove moznosti nielen pre velke spolocnosti, ale aj pre malych vyvojarov softveru. Kubernetes je system riadenia kontajnerov a nedavno sa objavil novy koncept, ako …
-
Analýza zajištění a vymáhání pohledávek u podnikající právnické osoby
Bakalářská práce se zabývá různými způsoby zajištění pohledávek a jejich vymáháním dle občanského soudního řádu a exekučního řádu. Zároveň poskytuje informace o rozhodčím řízení. Dále je zaměřena na analýzu pohledávek ve společnosti Silk & Progress s.r.o.. Práce obsahuje návrh na zavedení …