in English The thesis is composed of seven chapters. The first one is an introduction. In the second chapter I summarize the reasons, why a new regulation of insolvency law was needed. The third chapter is about pre-conditions for adjudication of bankruptcy in general and about the sources of their regulation. The fourth chapter is about the pre-conditions that are based in the material law and especially about all aspects of bankruptcy. The chapter No. 5 describes the conditions of civil and insolvency proceeding. Separately in chapter No. 6 is a describtion of moratorium. The thesis ends with conclusions.

Title: A Multiple Case Study on Contradictions and Pre-conditions for Outsourcing Agile Software Development ProjectsAuthor: Maksim Buslovič & Samson DeribeSupervisor: Jonas SöderlundDate: May 30th, 2012Background: In today’s turbulent business environment organizational success depends on its ability to embrace change and adapt quickly. The ability to satisfy customer is core to profitability; thus being agile is a prominent factor, because customer expectations are never static. One of the project management methods which is quite popular in the software development are is Agile Method. Agile methods depart from the classical project approach as it emphasizes more on interaction among participant, short iteration and continuous feedback to embrace the continuously evolving customer requirements. However, implementing Agile methods in a distributed project work seems to be challenging, thus limiting projects to optimize form their distributed resource as well as external parties.Aim: The purpose of this thesis is to understand how Agile methods contradict with the Outsourcing practice, which ultimately lead to identifying the possibilities to successfully outsource project work based on Agile methods. In addition, the study aims in providing a good ground for future study in ‘Outsourcing within Agile Methods’ to fill the big theoretical gap identified in the area.Methodology: The thesis used a qualitative approach that intends to build theory through iteration by waving back and forth between data and literatures in an inductive manner. The research design was based on multiple case study that used five interviews and one direct observation as an instrument to collect primary data along with secondary data; all three together ensure proper triangulation resulting in higher research validity. Open coding system was used to analyze data; and findings were presented by tables, figures, models and direct quotations.Results: The study shows that values and principles of agile software development which gives much emphasis on proximity in order to have a daily stand-up meetings, visualizations, constant contact with customers and other team members, knowledge sharing and fun disappear when the project is involved in outsourcing partly the development process; because the need use more plans & documentation, clear contracts and less interaction implying a contradiction in both ‘Agile methods’ and ‘Outsourcing’ practices. However, the study identified preconditions that must be considered while involving in outsourcing part of Agile software development: Outsource only if the part to be outsourced is not related to core product; Put a complete team in a co-located manner; Minimize interdependence among distributed teams; and there should be enough time before delivering product to customers.

The topic of this thesis becomes anxiety issues that negatively affects the enjoyment of sports performance and the performance of the individual itself. It assumes that the level of anxiety can consciously influence through the acquisition of specific mental skills. The theoretical part deals with the individual components that create or otherwise affect anxiety athletes. In the practical part we assume the application of research Sheldon Hanton and Graham Jones, who applied in the Czech environment for using standardized methods (questionnaire anxiety CSAI-2 (R), a guided interview). This is a qualitative research. At the end we evaluate and compare the results.

ABSTRACT This study examines the implementation of the education decentralisation process and its effect on secondary schools in Botswana in the case of the South Central Region. This topic was chosen against the wide-scale adoption by African countries of the international policy of educational decentralization, which takes different forms in different purposes. Literature on decentralization and school monitoring and support was consulted as well as evidence from different African countries. The study uses a qualitative approach and case study of a region to collect data through interviews and document analysis. Purposive sampling was used to select participants from the Ministry of Education headquarters, national Secondary Education Department and the South Central Region Office. Six Secondary Schools were sampled for the purpose of illustrating the impact of the regional administrative decentralization on different kinds of schools. The research findings reveal that Botswana has adopted the particular form of regional administrative decentralization for the purpose of administrative efficiency and the improvement of its school monitoring and support functions. The study revealed that some benefits, such as speedier response to teachers’ welfare matters, facilitation of distribution of resources in particular, learner- support materials and teachers, did occur. However, contrary to expectations, it surfaced that the process was ridden with more problems than solutions, mainly because many of the preconditions necessary for effective administrative decentralization were not present. For example, there was a lack of common understanding of the form and extent of decentralisation, human and other resources, role clarity and proper accountability lines, resulting in duplication of effort and tension between the regional and national offices as well as misaligned decentralization functions within the education bureaucracy. The main recommendations of the study are that the Ministry of Education should revisit the strategy to take on board and empower the regions to effectively execute their mandate of monitoring and supporting secondary schools in their jurisdiction. This will require increased capacity and resources as well as strategic leadership on behalf of the region.

Syftet med denna studie är att undersöka hur fritidslärare beskriver sitt arbete meddigitala verktyg i fritidshemmet. Studien har ett multimodalt perspektiv på lärande, föratt förtydliga hur digitala verktyg kan fungera som verktyg i undervisningen. Detta är en kvantitativ studie med kvalitativa inslag för att lyfta fram fritidsläraresförhållningssätt och förutsättningar i arbetet med digitala verktyg. Datainsamlingen harskett genom en enkätstudie med majoriteten slutna frågor utöver en öppen fråga omrespondenternas upplevda utmaningar i arbetet med digitala verktyg. Enkäten lades uppi olika intressegrupper på Facebook med en gemensam nämnare gällandefritidspedagogik. Den insamlade empiriska data kategoriseras utefter studiensfrågeställningar för att kunna se samband mellan respondenternas upplevelser. Studiens resultat visade att förutsättningarna för att bedriva en verksamhet med digitalaverktyg såg olika ut på de olika fritidshemmen. Medan några respondenter menar att dehar en låg tillgång och sämre förutsättningar att arbeta med digitala verktyg, menarandra respondenter att deras fortsättningar för att bedriva en verksamhet med digitalaverktyg är betydligt bättre. Samtliga respondenter upplever att det finns utmaningar,även på de fritidshem där förhållningssättet och förutsättningar var goda. Studienpåvisar att det finns utmaningar i arbetet med digitala verktyg, men att utmaningarna serolika ut.

Un des plus grands défis dans la conception matérielle et logicielle est de s’assurer que le système soit exempt d’erreurs. La moindre erreur dans les systèmes embarqués réactifs peut avoir des conséquences désastreuses et coûteuses pour certains projets critiques, nécessitant parfois de gros investissements pour les corriger, ou même conduire à un échec spectaculaire et inattendu du système. Prévenir de tels phénomènes en identifiant tous les comportements critiques du système est une tâche assez délicate. Les tests en industrie sont globalement non exhaustifs, tandis que la vérification formelle souffre souvent du problème d’explosion combinatoire. Nous présentons dans ce contexte une nouvelle approche de génération exhaustive de jeux de test qui combine les principes du test industriel et de la vérification formelle académique. Notre approche construit un modèle générique du système étudié à partir de l’approche synchrone. Le principe est de se limiter à l’analyse locale des sous-espaces significatifs du modèle. L’objectif de notre approche est d’identifier et extraire les conditions préalables à l’exécution de chaque chemin du sous-espace étudie. Il s’agit ensuite de générer tout les cas de tests possibles à partir de ces pré-conditions. Notre approche présente un algorithme de quasi-aplatissement plus simple et efficace que les techniques existantes ainsi qu’une compilation avantageuse favorisant une réduction considérable du problème de l’explosion de l’espace d’états. Elle présente également une manipulation symbolique des données numériques permettant un test plus expressif et concret du système étudié. / One of the biggest challenges in hardware and software design is to ensure that a system is error-free. Small errors in reactive embedded systems can have disastrous and costly consequences for a project. Preventing such errors by identifying the most probable cases of erratic system behavior is quite challenging. Indeed, tests in industry are overall non-exhaustive, while formal verification in scientific research often suffers from combinatorial explosion problem. We present in this context a new approach for generating exhaustive test sets that combines the underlying principles of the industrial test technique and the academic-based formal verification approach. Our approach builds a generic model of the system under test according to the synchronous approach. The goal is to identify the optimal preconditions for restricting the state space of the model such that test generation can take place on significant subspaces only. So, all the possible test sets are generated from the extracted subspace preconditions. Our approach exhibits a simpler and efficient quasi-flattening algorithm compared with existing techniques and a useful compiled internal description to check security properties and reduce the state space combinatorial explosion problem. It also provides a symbolic processing technique of numeric data that provides a more expressive and concrete test of the system. We have implemented our approach on a tool called GAJE. To illustrate our work, this tool was applied to verify an industrial project on contactless smart cards security.