|
|
Rozšíření frameworku ANaConDA pro podporu kontraktů s parametry a jejich omezeními
Mužikovská, Monika ; Fiedor, Tomáš (oponent) ; Smrčka, Aleš (vedoucí práce)
Tato práce se zabývá problematikou kontraktů pro paralelismus. Jedná se o protokol umožňující specifikovat požadavky na atomicitu v paralelních programech a následnou tvorbu automatických nástrojů pro detekci porušení atomicity. Součástí prostředí ANaConDA pro dynamickou analýzu programů je nástroj pro detekci tohoto druhu chyb, ale jeho výsledky mohou být příliš obecné. Cílem práce bylo navrhnout a implementovat metodu, která bude podporovat kontrakty rozšířené o parametry a jejich omezení, což povede k přesnějším výsledkům analýzy. Experimenty provedené pomocí nově vzniklého analyzátoru na programech se známými chybami ukázaly, že díky zahrnutí parametrů do analýzy je možné výsledky zredukovat až o desítky hlášení o situacích, které při zohlednění kontextu nejsou chybné a pouze zbytečně zatěžovaly vývojáře a znesnadňovaly odhalení skutečných chyb.
|
|
|
Racionalizace a automatizace administrativy firmy
Kobe, Pavel ; Toufar, Petr (oponent) ; Koch, Miloš (vedoucí práce)
Tato bakalářská práce se zabývá racionalizací a automatizací některých procesů administrativy firmy. Využívá k tomu jednoduchých aplikací Excel a programového kódu Visual Basic for Applications. V praktické části této práce je popsán příklad programu, který zjednodušil práci administrativy ve firmě.
|
|
| |
|
|
Practical Methods of Automated Verification of Concurrent Programs
Fiedor, Jan ; Arcaini, Paolo (oponent) ; Farchi, Eitan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Nowadays, multi-threaded programs are quite common and so are concurrency errors. Over the years, many techniques were developed to detect such errors, yet software developers still struggle to find the right tools to analyse their programs. The reason is simple, working does not always mean practical. Many tools implementing the detection techniques are hard to use, tailored for a specific kind of programs or synchronisation, or do not scale well to handle large software. For some types of concurrency errors, no tools even exist, yet many software developers encounter such errors in their programs. The main goal of this thesis is to develop new techniques for detecting errors in multi-threaded programs. These techniques should be able to handle complex programs, allow one to detect some of the less studied types of concurrency errors, and support a broad variety of programs.
|
|
|
Kolizní úprava smluvních závazkových vztahů v USA
Němečková, Pavla ; Bříza, Petr (vedoucí práce) ; Zavadilová, Marta (oponent)
Kolizní úprava smluvních závazkových vztahů v USA Abstrakt Tato diplomová práce je zaměřena na kolizní úpravu smluvních závazkových vztahů ve Spojených státech amerických, přičemž vybrané problémy jsou porovnávány s úpravou v Evropské unii. První kapitola je věnována specifikům, která jsou vlastní americkému systému mezinárodního práva soukromého. Tato specifika jsou z většiny způsobena americkým rozdělením právních řádů na federální právní řád a jednotlivé státní právní řády, ale zahrnují i např. fenomén law-marketu nebo forum-shoppingu. Dále jsem v krátkosti shrnula vývoj americké kolizní úpravy a charakterizovala jednotlivé přístupy, které se v průběhu vývoje kolizní úpravy objevily. Druhá kapitola je věnována svobodné volbě práva, její přípustnosti a omezením. Za využití recentní judikatury jsem nastínila přístup k autonomní volbě práva u jednotlivých smluvních typů. Závěr druhé kapitoly je věnován upravě autonomní volby práva dle Uniform Commercial Code, předpisu, který platí ve všech státech USA a který harmonizuje oblast obchodního práva. Třetí kapitola je zaměřena na hledání rozhodného práva při neexistenci volby práva. Rozebrala jsem nejrozšířenější přístup k řešení kolizních situací dle Druhého Restatementu, dále metodu dle Prvního Restatementu a metodu lepšího práva. V závěru třetí kapitoly jsem...
|
|
|
Rozhodné právo při absenci volby práva ve vybraných smluvních závazkových vztazích v České republice a Spojených státech amerických (mezinárodní právo soukromé ve srovnávacím pohledu)
Chvosta, Ondřej ; Pauknerová, Monika (vedoucí práce) ; Růžička, Květoslav (oponent)
diplomové práce v českém jazyce: Text se zabývá hlavními odlišnostmi mezinárodního práva soukromého Spojených států amerických a České republiky v oblasti smluvních závazkových vztahů při absenci volby práva. V úvodu je nastíněna metodika práce, spočívající zejména ve zkoumání obecných přístupů k dané problematice, spíše než v mechanickém zkoumání jednotlivých smluvních typů, neboť není možné činit rovnítko mezi určitým kontraktem podle českého a amerického práva. Úvod rovněž stanoví, že bude užitečné si všímat dvou stěžejních právních principů, a to právní jistoty (typické pro země kontinentální Evropy) a equity-spravedlnosti (charakteristické pro země Common Law). Kapitola první pojednává o relevantních pramenech práva a hierarchickém uspořádání mezi nimi. V souvislosti s Českou republikou je věnována zvláštní pozornost ZMPS, Římské úmluvě a Nařízení Řím I, ale také evropské judikatuře. Podkapitola o pramenech práva USA je určena zejména federální Ústavě, právním předpisům na úrovni jednotlivých států a dvěma soukromým kodifikacím Restatement of Conflict of Laws. Nechybí ani stručné pojednání o Vídeňské úmluvě (1980). Druhá kapitola se již zabývá konkrétními kolizními normami upravujícími předmět této práce. Výklad je zaměřen zejména na ustanovení § 10 ZMPS a v něm obsažený termín "rozumné...
|
|
|
Practical Methods of Automated Verification of Concurrent Programs
Fiedor, Jan ; Arcaini, Paolo (oponent) ; Farchi, Eitan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Nowadays, multi-threaded programs are quite common and so are concurrency errors. Over the years, many techniques were developed to detect such errors, yet software developers still struggle to find the right tools to analyse their programs. The reason is simple, working does not always mean practical. Many tools implementing the detection techniques are hard to use, tailored for a specific kind of programs or synchronisation, or do not scale well to handle large software. For some types of concurrency errors, no tools even exist, yet many software developers encounter such errors in their programs. The main goal of this thesis is to develop new techniques for detecting errors in multi-threaded programs. These techniques should be able to handle complex programs, allow one to detect some of the less studied types of concurrency errors, and support a broad variety of programs.
|
|
|
Project DEAL: plans, challenges, results
Grötschel, Martin
DEAL is an initiative of the Alliance of Science Organizations in Germany with the goal to conclude nationwide licensing agreements for the entire portfolio of electronic journals from major academic publishers. The intention is to bring about significant change to the status quo in relation to negotiations, content and pricing in the process and to achieve wide-scale, lasting improvements in open access to scholarly literature. The first agreement with a major publisher was signed on January 15, 2019 – after a long series of negotiations. I am a member of the DEAL negotiation team and will report on the whole range of plans and challenges as well as my expectations for future development.
Prezentace: idr-1448_1 -  PDF
Videozáznam: idr-1448_2 -  MP4
|
|
|
Pacta sunt servanda v recentním soukromém právu
Novotná, Dominika ; Šustek, Petr (vedoucí práce) ; Salač, Josef (oponent)
Pacta sunt servanda v recentním soukromém právu Abstrakt Diplomová práce se zabývá problematikou projevu zásady pacta sunt servanda v platném českém občanském právu. Po vysvětlení historických souvislostí a stručného popisu vývoje soukromého práva na území České republiky se první kapitola zabývá též potvrzením zásady pacta sunt servanda v rozhodovací praxi Ústavního soudu po r. 1990. Druhá kapitola je věnována rozboru přirozenoprávní podstaty platného občanského zákoníku a základním zásadám soukromého práva, z nichž občanský zákoník vychází a mezi které je zásada pacta sunt servanda rovněž řazena. Ve třetí kapitole se práce zabývá problematikou projevu zásady "smlouvy se mají dodržovat a daný slib zavazuje" v jednotlivých ustanoveních občanského zákoníku. Autonomie smluvní vůle je základní podstatou soukromého práva, a jejím projevem je svobodné právo se rozhodnout, zda účastník smlouvu uzavře, s kým ji uzavře a jaký bude mít smlouva obsah. Projevem zásady "daný slib zavazuje" může být jak odpovědnost za škodu v rámci předsmluvního jednání (culpa in contrahendo), tak i vázanost předloženým návrhem na uzavření smlouvy - ofertou. Závazný slib může mít i podobu jednostranného závazného jednání, typicky v případě veřejného příslibu odměny nebo slibu odškodnění. Jednostranným závazným jednáním je i finanční...
|
|
|
Smlouvy užívané v malém a středním podniku
ŽÁKOVÁ, Pavlína
Práce je zaměřena na analýzu smluv používaných v malém a středním podniku, dále charakterizuje pojmy malý a střední podnik a popisuje různé typy smluv, které podniky využívají při uzavírání smluvních závazků. Zaměřuje se například na kupní smlouvu, smlouvu o dílo, nájemní smlouvu, leasingovou smlouvu nebo na výběrové řízení na zadávání veřejných zakázek a definuje práva a povinnosti pro tyto jednotlivé smlouvy. Potvrzuje nebo vyvrací stanovené hypotézy a popisuje význam a strukturu nejpoužívanějších smluv v podnicích. Hledá, která ze smluv je nejpoužívanější v malém a středním podniku, jak se smlouvy uzavírají nebo jakým způsobem určují sankce. Dále se práce věnuje problematice účtování leasingu a úvěru. Jako nástroj pro získávání informací využívá práce dotazník a rozhovor.
|
host ::
RSS.