The effects of Kanban in software development teams : a study of the implementation at Sandvik

In software development organizations there is sometimes a need for change. In order to meet continuously increasing demands from their customers, Sandvik IT Services- SITS, at Sandvik in Sweden, required improving the way they worked with software development. Due to issues like a lot of work in progress and lot of simultaneous tasks for individuals in the teams that caused stress, it was almost impossible to address the question of working with improvements. In order to enable the improvement process Kanban was introduced in the software development teams. Kanban for software development is a change method created by David J. Anderson. The purpose of this thesis is twofold. One part is to assess what effects Kanban has had on the software development teams. The other part is to make a documentation of the Kanban implementation process at SITS. The documentation has been made on the basis of both company internal resources and observations of the Kanban implementation process. The effects of Kanban have been researched with an interview survey to the teams that have gone through the Kick start of the Kanban process. The result of the thesis is also twofold. One part of the result is an extensive documentation of the implementation process of Kanban at SITS. The other part is an assessment of the effects that Kanban has had at SITS. The major effects have been that the teams are experiencing less stress, more focus on quality and better customer collaboration. It is also evident is that it takes time for some effects to evolve when implementing Kanban

Architecture for machining process and production monitoring based in open computer numerical control

This paper proposes an architecture for machining process and production monitoring to be applied in machine tools with open Computer numerical control (CNC). A brief description of the advantages of using open CNC for machining process and production monitoring is presented with an emphasis on the CNC architecture using a personal computer (PC)-based human-machine interface. The proposed architecture uses the CNC data and sensors to gather information about the machining process and production. It allows the development of different levels of monitoring systems with mininium investment, minimum need for sensor installation, and low intrusiveness to the process. Successful examples of the utilization of this architecture in a laboratory environment are briefly described. As a Conclusion, it is shown that a wide range of monitoring solutions can be implemented in production processes using the proposed architecture.

Disjunct populations of European vascular plant species keep the same climatic niches

Aim Previous research on how climatic niches vary across species ranges has focused on a limited number of species, mostly invasive, and has not, to date, been very conclusive. Here we assess the degree of niche conservatism between distant populations of native alpine plant species that have been separated for thousands of years. Location European Alps and Fennoscandia. Methods Of the studied pool of 888 terrestrial vascular plant species occurring in both the Alps and Fennoscandia, we used two complementary approaches to test and quantify climatic-niche shifts for 31 species having strictly disjunct populations and 358 species having either a contiguous or a patchy distribution with distant populations. First, we used species distribution modelling to test for a region effect on each species' climatic niche. Second, we quantified niche overlap and shifts in niche width (i.e. ecological amplitude) and position (i.e. ecological optimum) within a bi-dimensional climatic space. Results Only one species (3%) of the 31 species with strictly disjunct populations and 58 species (16%) of the 358 species with distant populations showed a region effect on their climatic niche. Niche overlap was higher for species with strictly disjunct populations than for species with distant populations and highest for arctic-alpine species. Climatic niches were, on average, wider and located towards warmer and wetter conditions in the Alps. Main conclusion Climatic niches seem to be generally conserved between populations that are separated between the Alps and Fennoscandia and have probably been so for 10,000-15,000 years. Therefore, the basic assumption of species distribution models that a species' climatic niche is constant in space and time - at least on time scales 104 years or less - seems to be largely valid for arctic-alpine plants.

"Jag har hittat mig själv och barnen" : barnträdgårdslärares professionella självutveckling genom ett pedagogisk-psykologiskt interventionsprogram

Människans människoblivande eller självutveckling sker genom hennes relationer till andra människor. För barn är därför relationerna till de vuxna inom dagvård och skola av central betydelse för utvecklingen av deras självkänsla. Pedagoger som handhar de yngsta barnens fostran behöver ha en utvecklad pedagogisk relationskompetens som innefattar förmåga att handskas med egna och andras känslor. I avhandlingen beskrivs hur ett pedagogisk-psykologiskt interventionsprogram växer fram och genomförs med åtta yrkesverksamma barnträdgårdslärare i syfte att utveckla deras yrkespersonliga kompetens. Därefter redogörs för den empiriska studien, vars syfte är att analysera och beskriva de kvalitativa förändringarna i barnträdgårdslärarnas själv-i-relation och de utmärkande dragen för förändringsprocessen. Studien baserar sig på fenomenologisk-existentialistiska tankegångar och självpsykologisk teori. Resultatet visar på möjliga förändringar i fråga om fördjupad teoretisk förståelse, ökad beredskap att ta barns perspektiv, förändrad handlingsberedskap, ökad självkänsla, stärkt professionellt självförtroende, förändrat didaktiskt förhållningssätt och förändrade förhållningssätt i relationer. Känslornas och reflektionens centrala betydelse i den förändringsprocess som leder fram till ett förändrat själv-i-relation diskuteras också. Studien har betydelse framför allt för lärarutbildning och lärarfortbildning.

"Hyvät käytännöt ovat hyviä iästä riippumatta!" : suomalaisten työmarkkinajärjestöjen ikäpolitiikka pohjoismaisessa vertailussa

Older Workers in the Nordic Countries (OWN) -verkoston toimesta toteutettiin 2009-2010 välisenä aikana kyselytutkimus viidessä pohjoismaassa, jossa selviteltiin työmarkkinajärjestöjen ikääntyviä työntekijöitä koskevaa politiikkaa ja käytäntöjä.

Becoming a caring nurse : the heart of the matter in nurse education

This thesis in caring science didactics is based on a thinking, where the fundamental basis for the didactic is science-based, i.e. it does not emanate from the nursing profession but brings forward a didactic that grows out of caring science and its core substance and ethos. This view on didactics arises from the caritative theory developed by Eriksson. The overall aim of the study is to clarify the meaning and essence of understanding, as well as to explore and deepen the understanding of student nurses' processes of understanding and becoming with the intention of developing a theory model for caring didactics. The overarching research questions are: What is the essence of understanding (of caring science knowledge)? What are the possibilities and importance of understanding in the appropriation of caring science? What characterizes and impels the process of becoming? The thesis consists of four sub studies and a summary section. The overall methodological approach is hermeneutic involving quantitative as well as qualitative methods. The data for the study has been collected through a longitudinal research project that followed student nurses at three universities during their entire education. The empirical sub studies form the basis for the interpreted knowledge that is formulated in the new understanding. This new understanding have, through additional theory-charging with the theory fragments from Gadamer, generated the heuristic synthesis which is illustrated in the theory model. The findings shows that understanding can be described as something unlimited, as an endless movement, which can be illustrated as a lying eighth, a lemniscate. The lemiscate of understanding is characterized by seeing, knowing and becoming and consists of seven differently named phases; the acquired horizon of understanding, the encounter of horizons, the dialogue of horizons, the fusion of horizons, application, reflection and shaping a new horizon of understanding. Bildung (formation), is the ultimate imprint of the endless spiral movement of understanding. Ethos and arête constitute the hubs around which the lemniscate of understanding circles. These include the spirit and driving force that the student carries within. The caring culture encloses the lemniscate of understanding. The caring culture provides the life space of understanding and the prevailing basic values are evinced in the culture.

Digitaalisen valmistuksen vaikutus hitsatun rakenteen väsymiskestävyyteen

Tässä työssä tutkittiin kuinka eri tavoin rakenteen mallintaminen vaikuttaa laskettuun väsy-misikään. Työssä tutkittavana rakenteena toimi Sandvik Mining and Construction OY:n las-tauskoneen nostovarsi. Nostovarrelle väsytyskokeet suoritettiin Lappeenrannan teknillisen yliopiston teräsrakenteiden laboratoriossa. Työn tavoitteena oli tutkia miten eri digitaalinen valmistuksen tasot vaikuttavat hitsatulle rakenteelle saatuun kestoikään. Työssä tutkittiin myös miten todellista geometriaa voidaan hyödyntää rakenteen kestoiän arvioinnissa. Väsytyskoejärjestely mallinnettiin FE-menetelmällä, ja järjestelystä tehtiin useita malleja käyttäen solidi- ja laattaelementtejä. Malleista laskettiin väsymisiät hot spot- ja tehollisen lovijännityksen menetelmällä, ja saatuja tuloksia vertailtiin toisiinsa ja väsytyskokeen tulok-siin. Väsytyskokeessa vaurioituneista kohdista tarkemman tutkimuksen kohteena oli nosto-varren palstalevyn kärki. Hot spot-menetelmällä saadut kestoiät vaihtelivat paikoin melko paljon eri mallien välillä. Tehollisen lovijännityksen menetelmällä saaduissa tuloksissa erot olivat pienempiä mallien välillä. FE-mallin ja venymäliuskojen jännitykset poikkesivat toisistaan paikoin melko pal-jon. Todellisen hitsatun rakenteen kestoikään vaikuttaa moni asia, ja täten FE-menetelmällä las-kettu kestoikä voi poiketa huomattavasti todellisesta kestoiästä. Varsinkin hot spot-menetel-mällä tulokset voivat poiketa hyvinkin paljon todellisuudesta, mikäli jännitystila tutkitta-vassa kohdassa on moniaksiaalinen. Todellisen geometrian mallintaminen vaatii tarkkuutta, ja alkuperäisdatan tulee olla mahdollisimman tarkkaa ja riittävän suurelta alueelta, jotta malli vastaa tarpeeksi todellista.

Formal modelling for digital media distribution

Human beings have always strived to preserve their memories and spread their ideas. In the beginning this was always done through human interpretations, such as telling stories and creating sculptures. Later, technological progress made it possible to create a recording of a phenomenon; first as an analogue recording onto a physical object, and later digitally, as a sequence of bits to be interpreted by a computer. By the end of the 20th century technological advances had made it feasible to distribute media content over a computer network instead of on physical objects, thus enabling the concept of digital media distribution. Many digital media distribution systems already exist, and their continued, and in many cases increasing, usage is an indicator for the high interest in their future enhancements and enriching. By looking at these digital media distribution systems, we have identified three main areas of possible improvement: network structure and coordination, transport of content over the network, and the encoding used for the content. In this thesis, our aim is to show that improvements in performance, efficiency and availability can be done in conjunction with improvements in software quality and reliability through the use of formal methods: mathematical approaches to reasoning about software so that we can prove its correctness, together with the desirable properties. We envision a complete media distribution system based on a distributed architecture, such as peer-to-peer networking, in which different parts of the system have been formally modelled and verified. Starting with the network itself, we show how it can be formally constructed and modularised in the Event-B formalism, such that we can separate the modelling of one node from the modelling of the network itself. We also show how the piece selection algorithm in the BitTorrent peer-to-peer transfer protocol can be adapted for on-demand media streaming, and how this can be modelled in Event-B. Furthermore, we show how modelling one peer in Event-B can give results similar to simulating an entire network of peers. Going further, we introduce a formal specification language for content transfer algorithms, and show that having such a language can make these algorithms easier to understand. We also show how generating Event-B code from this language can result in less complexity compared to creating the models from written specifications. We also consider the decoding part of a media distribution system by showing how video decoding can be done in parallel. This is based on formally defined dependencies between frames and blocks in a video sequence; we have shown that also this step can be performed in a way that is mathematically proven correct. Our modelling and proving in this thesis is, in its majority, tool-based. This provides a demonstration of the advance of formal methods as well as their increased reliability, and thus, advocates for their more wide-spread usage in the future.