by Wu Chun Pong. / Thesis (M.Phil.)--Chinese University of Hong Kong, 1993. / Includes bibliographical references (leaves 86-[91]). / Chapter 1 --- Introduction --- p.1 / Chapter 1.1 --- Formal Specification Methods --- p.1 / Chapter 1.2 --- The Z notation --- p.2 / Chapter 1.3 --- Overview of Thesis --- p.3 / Chapter 2 --- The Specification Language Z --- p.5 / Chapter 2.1 --- Background --- p.5 / Chapter 2.2 --- Structure and Characteristics --- p.6 / Chapter 2.3 --- Object Orientation in Z --- p.10 / Chapter 2.3.1 --- Hall's style --- p.11 / Chapter 2.3.2 --- Schuman and Pitt's variant --- p.11 / Chapter 2.3.3 --- Object-Z --- p.12 / Chapter 2.4 --- Execution in Z --- p.13 / Chapter 2.5 --- Animation of Z Specifications --- p.15 / Chapter 2.5.1 --- Prolog --- p.15 / Chapter 2.5.2 --- Translation Z into Prolog --- p.18 / Chapter 2.5.3 --- Related Works --- p.19 / Chapter 3 --- Incorporating Real Numbers in Z --- p.22 / Chapter 3.1 --- Dedekind Cut --- p.23 / Chapter 3.2 --- Cantor's definition --- p.23 / Chapter 3.3 --- Practical approach --- p.24 / Chapter 4 --- Constraint Logic Programming and CLP(R) --- p.26 / Chapter 4.1 --- Constraint Logic Programming --- p.26 / Chapter 4.2 --- CLP(R) --- p.27 / Chapter 4.3 --- Example of CLP(R) --- p.29 / Chapter 5 --- The ZCLP(R) Animation System --- p.31 / Chapter 5.1 --- Design Philosophy --- p.31 / Chapter 5.2 --- Implementation Strategy --- p.34 / Chapter 5.3 --- Z editor (ZEDIT) --- p.36 / Chapter 5.4 --- Prolog Library for set operation (ZCLIB) --- p.37 / Chapter 5.4.1 --- Basic needs for the Library --- p.37 / Chapter 5.4.2 --- Rules for the library --- p.38 / Chapter 5.4.3 --- Limitation of the Library --- p.43 / Chapter 5.5 --- Z to CLP(R) Translator (ZCGEN) --- p.44 / Chapter 5.5.1 --- Procedure for translation --- p.45 / Chapter 5.5.2 --- Demonstration --- p.47 / Chapter 5.5.3 --- Rules for translation --- p.48 / Chapter 5.5.4 --- Limitations of the Translator --- p.50 / Chapter 5.6 --- Z to LATEX translator (ZLATEX) --- p.52 / Chapter 6 --- Examples --- p.54 / Chapter 6.1 --- A Simple Banking System --- p.54 / Chapter 6.1.1 --- Bags --- p.54 / Chapter 6.1.2 --- Specifications --- p.56 / Chapter 6.2 --- A Graphics Example --- p.61 / Chapter 6.2.1 --- Defining a Rectangle --- p.62 / Chapter 6.2.2 --- Drawing a Rectangle --- p.63 / Chapter 6.2.3 --- Defining a Circle --- p.63 / Chapter 6.2.4 --- Specifications --- p.64 / Chapter 6.3 --- Specifications Writing Experience --- p.76 / Chapter 7 --- Conclusion --- p.79 / Chapter 7.1 --- Contributions --- p.79 / Chapter 7.2 --- Difficulties --- p.83 / Chapter 7.3 --- Further Works --- p.84 / Bibliography --- p.86

Discharge - as one of modes of resolving insolvency The subject matter of this master thesis is the institute of discharge of debts, with an emphasis on its rehabilitative nature. A certain degree of indebtedness of the population is currently a social standard and many consumers are falling into the so-called debt trap. This is the reason why the institute of discharge of debts has become the forefront of interest. Discharge allows a debtor to solve impending or already existing bankruptcy and his/her return to normal economic life with a clean sheet. In its seven chapters, the thesis classifies discharge in the system of insolvency law and chronologically deals with insolvency proceedings from the petition to declare bankruptcy and the motion to permit the discharge until its termination from the point of view of debtors as well as creditors. Besides defining alternative ways of resolving insolvency, basic subjects of insolvency proceedings and their possible intervention in the process; the thesis focuses on the subjective and objective admissibility of discharge. Furthermore, the thesis examines the choice of the appropriate method of discharge, namely realisation of bankrupt's estate, fulfilment of the instalment plan or combination of these methods; and conditions for successful completion of...

No description available.

Práce se zabývá projektem Common Consolidated Corporate Tax Base, jehož cílem je vytvořit společná pravidla pro zjištění základu korporátní daně, platná v celé EU, a rovněž pravidla konsolidace, která by umožnila subjektům podnikajícím ve více státech EU zjišťovat jeden základ daně za celou skupinu.

Diplomová práce shrnuje právní úpravu účetnictví a daní z příjmů právnických osob v České republice. Blíže specifikuje daňově uznatelné a neuznatelné náklady. Upozorňuje na nutné úpravy výsledku hospodaření zjištěného z účetnictví, které je třeba provést pro stanovení základu daně dle zákona o daních z příjmů a následné vypočtení splatné daně z příjmů právnických osob. Obsahuje metody výpočtu a účtování odložené daně. Diplomová práce hodnotí výhody a nevýhody provázanosti účetního a daňového systému.

Práce se zabývá možnostmi a způsoby, jakými lze v dnešní době pracovat z domova. Definuje a osvětluje jednotlivé pojmy, které s touto problematikou úzce souvisí, protože je tato oblast zatím v literatuře jen velmi nejednoznačně popsána. Základním cílem této práce je pokus vymezit práci z domova a mimo stálé pracoviště. Druhým cílem je ukázat vzory takovéto práce a upozornit na její pozitiva a negativa. Dalším cílem je ukázat jednotlivé možnosti, kterými lze tento model práce či podnikání realizovat. Po úvodní kapitole, která definuje základní pojmy, následuje druhá část práce, která řeší možné postupy při realizaci práce z domova. Třetí část práce je zároveň nejobsáhlejší a je věnována zkušenostem a konkrétním příkladům nabídek na práci z domu.

Práce dává návod, jak lze legálně snížit daňový základ a daň z příjmů. Zabývá se novou možností společného zdanění manželů. Podrobně řeší nezdanitelné části základu daně, položky odčitatelné od základu daně a slevy na dani, včetně bonusů.

Práce zkoumá povinnosti vyplývající ze vztahu zaměstnance a zaměstnavatele z titulu daně z přidané hodnoty. Analyzuje konkrétní případy plnění v tomto vztahu, které mají vliv na daňovou povinnost. Na základě komunitárních východisek pro zdanění, vyplývajících ze směrnice Rady pro DPH, a praxe v České republice předkládá návrh na zkvalitnění české daňové úpravy.

Diplomová práce porovnává vedení účetnictví a daňové evidence, vymezuje základní rozdíly mezi těmito systémy zejména z hlediska právní úpravy, dokumentace a také způsobu zachycení jednotlivých operací podnikatele. Součástí jsou i zástupné možnosti vyjáddření daňových výdajů. Práce se také věnuje dani z příjmů fyzických osob. Zaměřuje se pouze na příjmy z podnikání a jiné samostatné výdělečné činnosti. Vymezuje možnosti odpočtů od základu daně, slevy na dani, zálohy na daň z příjmů a také způsoby placení této daně.

This paper is primarily focused on developers wanting to learn the essentials of developing mainframe applications on the IBM`s Interactive System Productivity Facility (ISPF) platform. It describes the components of the ISPF environment, focusing mainly on the two components most used in mainframe application development: The ISPF Dialog Manager and the ISPF Program Development Facility (PDF). Second part of the paper is a hands-on tutorial, where the reader is guided trough the creation of a set of simple interactive ISPF applications, with focus on covering the most used features of the platform. Within the paper it is assumed that any reader interested in this topic has basic mainframe skills and knowledge, including user knowledge of ISPF PDF, as it is usually the primary tool for dataset manipulation and editing in the z/OS mainframe environment. A wider skill set is assumed for readers who want to go through the tutorial, for example REXX and z/OS assembler basics. However none of these skills are necessary, nor expected, from those who are mainly interested in finding out what ISPF is and what it can offer to z/OS applications and their developers.