Företag förlitar sig ofta på datalager som aggregerar information från flera källor och över tiden. Dessa datalager är ofta centrala för beslutsfattande inom företagen, både kortsiktiga operativa beslut och långsiktiga strategiska. Eftersom information är en färskvara blir det allt viktigare att de dagliga laddningsrutinerna för datalagren fungerar. Denna rapport avser att analysera möjligheten att applicera principen model checking för en validering. Praktiskt avses att på ett automatiserat sätt använda Promela och Spin som verktyg för att validera att laddningsrutinerna för datalagret är korrekta..

AbstractMany opinions are divided on what religious freedom should protect and the area is unexploredin preschool. Is it the parents, the child or preschool teacher right? The aim of the studywas to investigate Maria klasson Sundin´s concept and theoretical models of religious freedomfor children through three Swedish preschool settings and also how three teachers interpretsand expresses children's freedom of religion. Through a qualitative interview study theaim was to investigate how the concepts of religion, autonomy and freedom is interpreted andexpressed by the teachers so a picture through this three concepts can categorise the teachersin a model; freedom of thought, tradition and life interpretation model so a broader picturecan be made to understand how the children's freedom of religion is expressed in the preschoolsetting and how the teachers work. The Result showed through the analysis that themodels fail to categorise the teachers in any theoretical model but on the other hand the understandingof preschool teacher?s expression and interpretation of the concept of religion,autonomy and freedom showed both diversity and lack of knowledge on the subject mattersreligious freedom which fall within the child rights issues.

The current standards for design of steel beams are divided into four classes based on the slenderness of cross-sectional parts. Depending on the section class a beams load capacity is either determined by a plastic, elastic or a reduced elastic model. The division between cross-sections calculated by a plastic and an elastic model is today done in a very harsh way with no smooth transition. This leads to a large difference in the calculated resistance for the sections located near the class limits. Elasto-plastic sections are in the current situation calculated as purely elastic and their large plastic reserve is not considered in the current standards.

This report is part of a Bachelor?s degree corresponding to 15 creditsat the Royal Institute of Technology, Stockholm. The work hasbeen carried out by Max Wikander, author of the report, supervisedby Lanie Gutierrez-Farewik and Erik Dijkstra.Gait analysis includes measurement, characterization and assessmentof human movement and is used to assess kinematic or otherabnormalities during gait. Center of rotation and the axis of rotationof a joint are fundamental parameters in motion analysis. However,the ability to create individualized analysis is limited by the lack ofaccuracy when these parameters are calculated.

This essay takes its point of departure in the need for modern day public libraries to legitimize their place in today?s society. Societal changes call for constant reinvention of libraries and as part of this reinvention, new light is being shed on the public library?s role as a meeting place. By investigating contemporary debate articles published in Bibliotek i samhälle and Biblioteksbladet, two major Swedish library magazines, this essay aims to categorize and compare different conceptions of the library?s function as a meeting place.

The EU Services Directive has caused an intense debate across Europe. Its purpose is to remove obstacles to trade and to open up the public sector to increased competition. The Swedish labour movement has been deeply involved in the policy process, and union leaders have proclaimed the compromise reached in the European Parliament in April 2006 as a success.In the paper two major aspects have been considered: the meaning of the Swedish model and the process of Europeanization. The Swedish model previously allowed for a strong labour movement, through a social democratic hegemony, but the EU membership has implied new conditions for union influence. The paper examines how this change has affected the strategic choices of the Swedish labour movement, and how it has been manifested in the union's work with the Services Directive.

Flexicurity is a union of the English words flexibility and security. The union of the two words to one common term, hints that flexibility and security does not have to be each others counterparts in order to achieve good economical development and employment. Flexicurity, as it is found in Denmark, is described as a three part model composed of active labour market politics, generous financial compensation in the case of unemployment and flexible labour law. The existence of strong collective agreements and three part cooperation is of great importance for the good flow of the Danish model. The same goes for education of different kinds.

Tasmania is a state in Australia, and is also the country?s largest island. It is separated from the main land by a 429 kilometer wide strait. Every year, a large amount of people, cars and goods are transported to the island using a government owned ferry line, which generates approximately 300 million Australian dollars to the state?s economy ,every year. This bachelor thesis investigates the possibility of reducing the fuel consumption for the ferry traffic to and from Tasmania, which would also reduce the overall cost.

Background: A large number of companies works as a link between manufacturers and final users. These companies buys and stores goods to be able to deliver when a need comes up later in the chain. The storage could have a negative effect on profitability and therefore places great demands on the management control systems. ABC as a method has been used with some success in manufacturing for over ten years. In wholesale companies the method is not frequently used.

Objective: To investigate the experiences of ambulance nurses when using Boussignac CPAPcompared to their previous model, and their suggestions for possible improvements in the use of CPAP in the care of patients with pulmonary oedema. Method: A qualitative study with a descriptive and exploratory approach. Data was collected through ten semi-structured interviews with ambulance nurses, seven men and three women. The analysis was conducted using Lundman and Graneheim?s content analysis.

We have ourselves met misunderstandings about the tasks of librarians. The general opinion is that librarians are positioned behind the charging desk or are putting books on shelves. Other tasks are invisible and unknown to the public. The aim for this study is to explore the tasks that a selection of Swedish librarians does. The questions we have answered are: what do the librarians themselves claim to work with, which competences are necessary for this job, what does our study show regarding the librarian as generalist or specialist and finally; can the tasks that we find in our study help to understand the conceptions profession and status in relation to librarians.

Abstract Thou there are much written about management, are there, according to Mintzberg no simple definitions regarding how managers should operate towards other co-workers or employees. This essay outlines a perspective for study of managers, from an employees point of view. The study was preformed at one private company, and the empirical data was gathered from five employees. The methodological approach contained qualitative methods based on semi-structured interviews. By using this method, a deeper understanding regarding the questions was desired.

The purpose of this essay is to examine whether the descriptions of Stalin's terror in history textbooks for high school changed from the 1950s until the 2010s. Since previous research shows that textbook content is influenced from different directions and that it dominates in teaching, therefore I want to find out what similarities and differences that exist in the textbooks. The survey is based on a qualitative approach because I want to have a profound picture of the descriptions of Stalin's terror. The results of the survey show that the number of casualties and the descriptions on the famine has changed over time. Furthermore, textbooks also found it difficult to distinguish between terror, politics and ideology.

ternal communication in an organization by using CSM Communication Situations Model [18[upps-01.gif The topic of this master thesis is internal organizational communication and factors influencing the way people in an organization communicate with each other. The purpose of the study is to, by using a specific model called Communication Systems/Situations Model CSM, identify the social context of a given organization and examine how it relates to the dimensions of communicational behaviour which are presented in CSM. We would also like to see how the different parts of CSM affects the choice of communication channels. The thesis is based on interviews with eight employees in the specific organization, whom we have asked a number of questions regarding how they communicate with each other and through which channels. The results show that the social context is very informal within the organization and the relationships between the employees are very open and personal.

This thesis aims to examine the possibility of understanding social change by using new institutionalism approaches on a specific case, The case, which describes the implementation of new public management reform in the Swedish health care system, is analysed from two separate new institutionalismperspectives; the tool perspective and the symbol perspective. These approaches differ from one another in the sense that the first relies on a rational choice ontology, while the latter rather refers to a sociological tradition. In the analysis, causal explanations as well as aim related explanations are presented. Formative moments such as economic stagnation, non-socialist governments and ideological isomorfism are presented as important factors behind the reformation. By using the tool perspective, the motives of the idea spreading and reformation of the Swedish health care system, are connected to a strictly rationalbasis such as cost efficiency and quality improvements.