|
|
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.
|
|
|
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é...
|
|
|
Soothsharp: A C#-to-Viper translator
Hudeček, Petr ; Parízek, Pavel (vedoucí práce) ; Ježek, Pavel (oponent)
Viper je verifikační infrastruktura vyvíjená na univerzitě ETH v Curychu. Pomocí této infrastruktury se dá ověřit, zda programy napsané v jazyku Viper vyhovují svým deklarovaným kontraktům a invariantům. V této práci vyvíjíme knihovnu kontraktů a překladač, který zkompiluje kód v jazyku C# do jazyku Viper, a tak umožní jeho verifikaci. Uživatel může anotovat svůj program těmito kontrakty a pak použít překladač, aby určil, zda je program funkčně korektní. Překladač podporuje podstatnou podmnožinu funkcí jayzku C#, včetně typů a polí. Je integrován s Visual Studiem, a ukazuje tak chyby z překladu a verifikace uživateli přímo v prostředí.
|
|
|
Smluvní vztahy mezi zdravotními pojišťovnami a krajskými nemocnicemi
Rezek, Štěpán ; Dobiášová, Karolína (vedoucí práce) ; Angelovská, Olga (oponent)
Diplomová práce se zaměřuje na vymezenou oblast zdravotní politiky - problematiku smluvních vztahů mezi zdravotními pojišťovnami a krajskými nemocnicemi z víceúrovňového pohledu krajských nemocnic. Pro účely práce byly realizovány dvě případové studie krajských nemocnic ve Středočeském kraji. Práce mapuje na základě výzkumu v těchto nemocnicích celý proces uzavírání smluvního vztahu se zdravotními pojišťovnami od prvního kontaktu s pojišťovnami, až po uzavření platného vztahu pro daný rok. Pozornost je zaměřena i na vznik a obsah úhradové vyhlášky, která do velké míry vytváří konečné podoby smluvních vztahů. Jedním z cílů práce je identifikace klíčových problémů, které vyplývají z nastavení smluvních vztahů a úhradového mechanizmu. Tyto problémy jsou analyzovány jednak na úrovni konkrétních krajských nemocnic jako celku; dále pak na úrovních vybraných specializovaných oddělení. Výzkumná pozornost je věnována také dopadům těchto problémů na poskytování zdravotní péče pacientům.
|
|
|
Určování rozhodného práva při absenci volby ve vybraných závazkových vztazích v České republice a USA
Chvosta, Ondřej ; Pauknerová, Monika (vedoucí práce) ; Kučera, Zdeněk (oponent)
rigorózní práce v českém jazyce: Práce srovnává určování rozhodného práva v závazkových vztazích v České republice a ve Spojených státech amerických. Toto srovnání je činěno na pozadí dvou právních principů: právní jistoty (typické pro Českou republiku) a Equity (typické pro Spojené státy). První kapitola pojednává o odlišném pojetí mezinárodního práva soukromého v obou srovnávaných zemích a o rozdílu a vztahu mezi právní jistotou a Equity. Kapitola první se rovněž podrobně zabývá aplikovatelnými prameny práva v ČR a ve Spojených státech. Kapitola druhá srovnává odlišné přístupy k určování rozhodného práva ve smluvních závazkových vztazích. Podrobně jsou analyzovány kolizní normy obsažené v ZMPS, NZMPS, Římské úmluvě a nařízení Řím I. Rovněž jsou představeny americké přístupy k určení rozhodného práva: princip teritoriality Prvního Restatementu, Currieho Interest Analysis, přístup Druhého Restatementu, Better Law Approach a Significant Contacts Approach. Kapitola třetí s použitím metodiky kapitoly druhé se soustřeďuje na mimosmluvní závazkové vztahy. V evropském kontextu je tak kladen důraz na nařízení Řím II, v americkém kontextu především na erozi principu teritoriality a odlišnosti v aplikaci Interest Analysis a Druhého Restatementu oproti jejich aplikaci na smluvní závazkové vztahy. Závěr práce...
|
|
| |
|
|
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ě.
|
|
|
Projednávání národních lisabonských programů reforem v národních parlamentech vybraných členských zemí Evropské unie: Studie č. 1.176
Částek, Michal
Nově koncipovaný lisabonský proces schválený Evropskou radou v březnu 2005 je programem dlouhodobějšího hospodářsko-sociální směřování EU, které má pomoci Evropě reagovat na vnitřní (stárnoucí populace) i vnější (konkurence z USA, Asie, Jižní Ameriky) ekonomicko-sociální výzvy. Nové pojetí LS usiluje o zúžení počtu prioritních oblastí a o zlepšení samotného řízení, koordinace a hodnocení plnění cílů lisabonské agendy jak na úrovni EU tak na úrovni členských států. Členské státy na podzim roku 2005 předložily tříleté národní lisabonské programy reforem, které mají zajistit jejich politickou odpovědnost při plnění cílů LS a mají usnadnit hodnocení plnění reformních kroků realizovaných v jednotlivých členských státech Unie. Předložená studie se věnuje zapojení zákonodárných sborů (projednávání na plénu, zapojení výborů, předkládání pozměňovacích návrhů) do schvalování národních lisabonských programů reforem (NLPR) na roky 2005-2008 v jednotlivých členských státech Unie. Práce ukazuje, že ve většině sledovaných zemí nebyl NLPR na programu plenárního zasedání, výjimkou byly rakouská Národní rada, slovenská Národní rada a Senát Parlamentu ČR. Studie dále dokládá, že v některých zemích byl do projednávání národních lisabonských programů reforem zapojen pouze jeden výbor (např. Belgie, Francie, Polsko) a v jiných zemích byl tento strategický dokument projednáván ve více věcně příslušných výborech (např. Finsko, Slovinsko, Estonsko).
Plný text:  PDF
|
|
| |
|
|
Lisabonská smlouva a vnitrostátní parlamenty: Studie č. 1.204
Čakrt, František
Role vnitrostátních parlamentů na unijní úrovni je v posledních letech stále posilována. Již před přijetím Lisabonské smlouvy vnitrostátní parlamenty aktivně monitorovaly a připomínkovaly návrhy unijní legislativy a s přijetím Lisabonské smlouvy se tato úloha ještě posiluje. Práce přináší přehled aktuálních změn, které vnitrostátním parlamentům Lisabonská smlouva přináší, a věnuje se také meziparlamentní spolupráci, která je základním předpokladem realizace některých nově zavedených kontrolních mechanismů.
Plný text: PDF
|
host ::
RSS.