This thesis provides a model-theoretic semantic analysis of aspects of the LF logical framework

Yes / Goal setting is a fundamental practice in the effective management of healthcare services worldwide. This study investigated the extent to which leprosy goal formulation in Nigeria is logical and SMART. Method: Document review of baseline problems, goal statements and goal attainments for 2016 in six leprosy projects using a customised logical framework matrix. Results: A total of 15 main problems, 6 aims, 19 objectives and 42 indicators were found. The goals were problem-based and logically linked, with a pattern of a single aim per project, multiple objectives per aim, and multiple indicators per objective. Goal statements specified only impact in 5/6 aims, and only outcome and terminal timeframe in 17/19 (89.5%) objectives. Only one objective stated all four SMART components of outcome, indicator, target and timeframe. While three (7.1%) indicators and two (10.5%) objectives were measurable, no target was attainable. Discussion: Goal-setting frameworks for leprosy projects should be problem based and logical according to best practice. That most leprosy objectives were not completely SMART is similar to the reported structure of objectives published by other health organisations globally.

The topic of the thesis focuses on the management of projects funded by the EU. In the first part I provide basic information about possibility of withdrawing funds from the EU. I describe operational programmes, funding opportunities and the process of withdrawing finances. I focus on the classification of different types of projects to be financed. The second part focuses on project management itself. I will analyze the project management methodology approved by European Commission for projects funded by the EU -- the logical framework approach. I will analyze whether the logical framework approach covers all phases of the project life cycle defined by the EU. I propose some methods that can be used in practice for different types of project with usage of well-known standard for project management -- PMBOK. The last part includes a case study -- analysis of project "Revitalization of village center in Drnava". Applying the logical framework methodology I will design a logical framework matrix for the village, which is one of the obligatory documents needed for the subsidiary applicants.

Uppsatsen undersöker om antropologiskt kunskap kan implementeras i Logical Framework Approach (LFA) –metoden för att förbättra den. LFA är en projektplaneringsmetod som bland annat används inom utvecklingsprojekt. Olika publiceringar om LFA har studerats för att få fram för- och motargument. Vidare har antropologiska publiceringar om hur antropologi kan användas inom utveckling- och biståndsprojekt legat till grund för att analysera LFA, och se om och isåfall var antropologisk kunskap kan användas för att förbättra den. Resultatet presenteras i form redovisning på var metoden får kritik samt hur antropologisk kunskap kan bidra till förbättring i det specifika området. / The thesis seeks to examine whether anthropological knowledge can improve the Logical Framework Approach (LFA). LFA is a widespread project planning method that is used in development projects. Various publications about LFA have been studied to identify arguments in favor of, and against the method. Furthermore, anthropological publications on how anthropology can be used in development and aid projects forms the foundations for analyzing the LFA. This is performed to see where anthropological knowledge can be applied to improve it. The result is presented by focusing on the criticism to discover how anthropology can contribute to improving the methods in the areas of concern.

Analysis of the "Automated processing of telephone bills" in a large consulting firm. Use of project management methods: logical framework, analysis of stakeholders, responsibility matrix, milestones chart, PERT analysis.The main objective it to develop the concept, in which it will be better to handle projects in the consulting company in the future. The information for the purposes of this thesis were collected using the method of guided interviews with leading professionals in the company and using the online questionnaire.

<p>A1302</p><p>Introduction: Peru is a country that is undergoing a process of democratic transformation. Local and international development agencies are established in Peru in order to support this process. In the last decade, there has been an encouragement for these agencies to use strategic management in their project work. The Logical Framework Approach (LFA) is an objective-oriented approach that has become widely employed for the planning, implementation and evaluation of development projects. The so called “vertical logic” of the LFA, rests on the assumption that project stakeholders can predetermine and agree on how certain activities will lead to the accomplishment of a hierarchy of formally stated goals.</p><p>Purpose: The purpose of this thesis is to analyze the applicability of the vertical logic of LFA on development projects in Peru.</p><p>Theoretical framework: The theoretical framework of this paper is based on theories and arguments raised for and against Management By Objectives (MBO) from which the LFA originates. In addition, the special features of the development sector are discussed in regard to this rational goal approach.</p><p>Method: This paper has been carried out as a Minor Field Study (MFS) in Peru where representatives of local as well as international development agencies have been interviewed.</p><p>Empirical findings and Analysis: This paper highlights the special characteristics of development work in Peru. Projects are typically large with abstract, complex goals and multiple stakeholders. In addition, they are carried out in an environment typified by significant instability and change. These characteristics potentially make some of the features inherent in the vertical logic of LFA, such as strict planning and goal congruency, unrealistic. This potentially limits its usefulness as a strategic management tool.</p>

A1302 Introduction: Peru is a country that is undergoing a process of democratic transformation. Local and international development agencies are established in Peru in order to support this process. In the last decade, there has been an encouragement for these agencies to use strategic management in their project work. The Logical Framework Approach (LFA) is an objective-oriented approach that has become widely employed for the planning, implementation and evaluation of development projects. The so called “vertical logic” of the LFA, rests on the assumption that project stakeholders can predetermine and agree on how certain activities will lead to the accomplishment of a hierarchy of formally stated goals. Purpose: The purpose of this thesis is to analyze the applicability of the vertical logic of LFA on development projects in Peru. Theoretical framework: The theoretical framework of this paper is based on theories and arguments raised for and against Management By Objectives (MBO) from which the LFA originates. In addition, the special features of the development sector are discussed in regard to this rational goal approach. Method: This paper has been carried out as a Minor Field Study (MFS) in Peru where representatives of local as well as international development agencies have been interviewed. Empirical findings and Analysis: This paper highlights the special characteristics of development work in Peru. Projects are typically large with abstract, complex goals and multiple stakeholders. In addition, they are carried out in an environment typified by significant instability and change. These characteristics potentially make some of the features inherent in the vertical logic of LFA, such as strict planning and goal congruency, unrealistic. This potentially limits its usefulness as a strategic management tool.

Satisfiability (SAT) and satisfiability modulo theories (SMT) solvers are high-performance automated propositional and first-order theorem provers, used as underlying tools in many formal verification and artificial intelligence systems. Theoretic and engineering advancement of solver technologies improved the performance of modern solvers; however, the increased complexity of those solvers calls for formal verification of those tools themselves. This thesis discusses two methods to formally certify SAT/SMT solvers. The first method is generating proofs from solvers and certifying those proofs. Because new theories are constantly added to SMT solvers, a flexible framework to safely add new inference rules is necessary. The proposal is to use a meta-language called LFSC, which is based on Edinburgh Logical Framework. SAT/SMT logics have been encoded in LFSC, and the encoding can be easily and modularly extended for new logics. It is shown that an optimized LFSC checker can certify SMT proofs efficiently. The second method is using a verified programming language to implement a SAT solver and verify the code statically. Guru is a pure functional programming language with support for dependent types and theorem proving; Guru also allows for efficient code generation by means of resource typing. A modern SAT solver, called versat, has been implemented and verified to be correct in Guru. The performance of versat is shown to be comparable with that of the current proof checking technology.

This master's thesis focuses on using project management methods in implementation of Microsoft SharePoint 2013 product and creating intranet portal in Promokov a.s. At the beginning, thesis maps and describes actual situation by SLEPT analysis, SWOT analysis and analytic workshop made directly at the customer site. Last part is dedicated to the realization of recommended change.

The diploma thesis deals with the use of project management methods in practice, specifically the project design for the deployment of a suitable device for a mobile solution of a selected company. The introductory part is devoted to the theoretical basis, which are then used in the design part. The analytical part is focused on analyzing the project methodology of the selected company. The design part contains the actual design of the project phase of the project.