|
|
Towards Parameterized Contract Validator in ANaConDA Framework
Mužikovská, Monika ; Fiedor, Tomáš (referee) ; Smrčka, Aleš (advisor)
This work deals with problematics of contracts for parallelism. It is a technique allowing to specify requirements for atomicity in parallel programs and to create automatic tools for detection of atomicity violation. ANaConDA framework provides dynamic analyser called Contract-validator which can detect contract violations in parallel programs. However, due to analysis without context, it can produce a lot of warnings about contract violation that are not considered as errors. The aim of this work was to design and implement a method supporting contracts extended with parameters and their constraints which will lead to more accurate results of the analysis. Experiments using newly created analyser on a set of benchmarks with known atomicity violations showed that analysis with parameters can reduce the results by dozens of reports that unnecessarily burdened developers and made it harder to reveal real errors.
|
|
|
Governing law in the absence of choice in contractual relations in the Czech Republic and in the United States (private international law in a comparative perspective)
Chvosta, Ondřej ; Pauknerová, Monika (advisor) ; Růžička, Květoslav (referee)
Governing Law in the Absence of Choice in Contractual Relations in the Czech Republic and in the United States (Private international law in a comparative perspective) English Summary: The subject of the thesis is the main differences in Private International Law (or Conflict of Laws in the Unites States) in the area of contractual relations in the absence of a choice of law. The introduction explains the methodology of the work, as it does not strive to provide an exhaustive list of contract types - since this would be ill-advised considering the differences in Czech and American contract law - but rather provide the reader with a general characterization of the different approaches to the subject matter. The introduction also explains the legal certainty principle (typical for Civil Law countries) and the principle of equity (typical for Common Law countries), and describes how the consideration of these will enhance the reader's understanding of the thesis' topics. The first chapter is concerned with the relevant sources of law in the Czech Republic and in the United States. The most important legislation applicable in the Czech Republic is the Czech Private International Law Act, the Rome Convention and the Rome I Regulation. In relation to US law, the text discusses some of the most important clauses...
|
|
|
Soothsharp: A C#-to-Viper translator
Hudeček, Petr ; Parízek, Pavel (advisor) ; Ježek, Pavel (referee)
Viper is a verification infrastructure developed at ETH Zurich. Using this infrastructure, programs written in the Viper language may be analyzed for correctness with respect to assertions and contracts. In this thesis, we develop a contracts library and a translator program that compiles C# code into the Viper language and thus allows it to be verified. A user may annotate their C# program with these contracts and then use the translator to determine its functional correctness. The translator supports most C# features, including types and arrays. It also integrates with Visual Studio, showing translation and verification errors to the user on-the-fly.
|
|
|
Contracts between health insurance companies and regional hospitals
Rezek, Štěpán ; Dobiášová, Karolína (advisor) ; Angelovská, Olga (referee)
The main focus of the thesis is the multilayered view of regional hospitals on their contractual relationship with health insurance companies. The thesis draws information from two case studies of regional hospitals in Central Bohemia. These case studies have allowed me to map the whole process of establishing a contractual relationship with health insurance companies from the first contact to the final conclusion of the contract for a particular year. Through mapping the process I have identified a number of problematic areas that are encountered when concluding contracts. Thesis has also concentrated on the establishment and content of the payment regulation which, to a large extent, determines the final form of the contractual relationship. One of the goals of the thesis is the identification of key problems stemming from the parameters of the contractual relationship and payment mechanism. These problems are analyzed on the level of hospitals, individual specialized units, and in relation to the provision of health care to patients.
|
|
|
The Determination of Governing Law in the Absence of Choice in Selected Obligations in the Czech Republic and in the United States
Chvosta, Ondřej ; Pauknerová, Monika (advisor) ; Kučera, Zdeněk (referee)
rigorózní práce v anglickém jazyce: This thesis compares the determination of governing law in selected obligations in the Czech Republic and in the United States. This comparison is made against the background of two principles: legal certainty (typical for the Czech Republic) and Equity (typical for the United States). Chapter one discusses the different approaches to private international law in the two countries, and discusses the relationship between Equity and Legal Certainty. Chapter one also discusses the applicable sources of law. Chapter two compares the different approaches to choice of law in contractual obligations. The choice-of-law rules of relevant Czech and European statutes are analyzed in detail. Furthermore, the American approaches to choice of law are introduced and examined, namely: the First Restatement approach, Currie's Interest Analysis, the Second Restatement approach, the Better Law Approach, and the Significant Contacts Approach. Chapter three is analogical to chapter two, but it focuses on non-contractual obligations (Torts). The focus of this chapter is EU Regulation Rome II and the particularities of the First and Second Restatements and Currie's Interest Analysis when applied to torts. The conclusion summarizes the author's main ideas and opinions.
|
|
| |
|
| |
|
|
Debate of Lisbon National Reform Programs in National Parliaments of Selected EU Member States: Study 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).
Fulltext:  PDF
|
|
| |
|
|
The Lisbon Treaty and national parliaments: Study 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ů.
Fulltext: PDF
|
guest ::
