Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. This thesis explores an extension to the Saida plugin which allows support for pointers and heap allocations. The goal is to evaluate to what extent model checking tools can be used to infer contracts for deductive verification of programs that use pointers and heap allocations. This is done by proposing a translation strategy to convert contracts containing heap expressions, generated by the model checker TriCera, into ACSL, a specification language used by Frama-C. An implementation of this translation is evaluated using a set of verification tasks. The results demonstrate that the inferred contracts are sucient to verify simple code samples, including features such as recursion, aliasing, and manipulation of heap-allocated structs. However, the results also reveal cases where the contracts are too weak, although more information could be extracted in the translation. It is concluded that model checking tools can infer contracts for deductive verification of programs with pointers and heap allocations, but currently to a limited extent. Several improvements to the translation strategy are proposed for future work. / Kontrakthärledning består i att automatiskt härleda kontrakt, vilka formellt beskriver funktioners beteende i program. Kontrakt används för deduktiv verifiering, vilket är en metod för att verifiera huruvida ett system beter sig enligt en given specifikation. Pluginet Saida i Frama-C är ett verktyg för kontrakthärledning för C-kod. Denna avhandling undersöker en vidareutveckling av Saida som möjliggör stöd för pekare och heap-allokeringar. Målet är att utvärdera i vilken utsträckning modellprovningsverktyg kan användas för att härleda kontrakt för deduktiv verifiering av program som använder pekare och heap-allokeringar. Detta görs genom att presentera en översättningsstrategi för att konvertera kontrakt som involverar heaputtryck, genererade av modellkontrollverktyget TriCera, till ACSL, vilket är ett specifikationsspråk som används av Frama-C. En implementation av denna översättning utvärderas med hjälp av en samling verifieringsproblem. Resultaten visar att de härledda kontrakten är tillräckliga för att verifiera enkla verifieringsproblem, med koncept som rekursion, aliasing och manipulation av heap-allokerade structs. Resultaten visar även fall då kontrakten är för svaga, men där mer information skulle kunna utvinnas i ¨översättningen. Slutsatsen dras att modellprovningsverktyg kan härleda kontrakt för deduktiv verifiering av program med pekare och heap-allokeringar, men för närvarande i begränsad utsträckning. Flera förbättringar av översättningsstrategin föreslås för framtida vidareutveckling.

Bakgrund: Under de senaste 30 åren har dödligheten i hjärt-kärlsjukdomarna minskat och fler och fler personer lever med sjukdomen. Träningsbaserad hjärtrehabilitering (THR) är en effektiv sekundär-preventiv åtgärd som förblir en underutnyttjad behandlingsform på grund av bristfälligt deltagande. Syfte: Syftet med förbättringsarbetet var att förbättra deltagande i THR. Syftet med studien av förbätt-ringsarbetet var att genom den teoretiska modellen COM-B undersöka hur patienter uppfattar vad som underlättar eller hindrar deras deltagande i THR. Metod: Med hjälp av Nolans förbättringsmodell testades två förändringar inom ramen för THR, näm-ligen ”Min träningsplan” och ”Träning ute”. Studie av förbättringsarbetet var en kvalitativ studie som baserades på COM-B modellen. Data från sju semistrukturerade intervjuer transkriberades och analy-serades med hjälp av deduktiv innehållsanalys. Resultat: Resultat av förbättringsarbetet visade förbättrat deltagande i THR. I genomsnitt påbörjade 62 % av patienterna THR och de deltog i genomsnitt två tillfällen mer än före förbättringsarbetet. Stu-dien av förbättringsarbetet visade på att dynamiskt tankesätt, aktiv livsstil, stöttning, ansvarstagande, målbilder, positiva känslor kring träning och upplägg verkade vara förknippade med det som underlät-tade deltagande i THR. Det som hindrade deltagande i THR var samsjuklighet och trötthet, svårighet att få ihop sitt livspussel samt oro och rädsla kring fysisk aktivitet. Slutsats: Oberoende vilka förändringsidéer som hade testats framstod det att patienternas egna för-mågor och motivation utvecklades genom större fokus på beteendeförändring som framtagande av ”Min träningsplan” och ”Träning ute” gav upphov till. Det sociala sammanhanget, trygghet kring fysisk akti-vitet, framtidshopp, välbefinnande och längtan till livet innan sjukdomen var faktorer som gjorde att deltagande i THR ersatte andra konkurrerande beteenden. / Background: During the last 30 years, mortality from cardiovascular diseases has decreased and more and more people are living with the disease. Exercise-based cardiac rehabilitation (ExCR) is an effective secondary prevention measure that remains an underutilized form of treatment due to poor participation. Purpose: The purpose of the improvement work was to increase participation in ExCR and the study of the improvement work aimed to use the COM-B theoretical model to investigate how patients apprehended hindering and promoting factors regarding participation in ExCR. Method: Using Nolan's improvement model, two changes to the framework for ExCR were tested, namely "My training plan" and "Training outside". The study of the improvement work was a qualitative study based on COM-B model. Data from seven semi-structured interviews were transcribed and ana-lysed using deductive content analysis. Results: Results showed improved participation in ExCR, 62% of patients started ExCR and they attended an average of two more sessions than before the improvement work. Study showed a growth mind-set, active lifestyle, support, taking responsibility, goal images, positive feelings about training and setup were promoting factors for participation in ExCR. Barriers were co-morbidity, fatigue, difficulty putting together the life's puzzle and worry and fear about physical activity. Conclusion: Regardless of which change ideas had been tested, it was clear that the patients' own abil-ities and motivation were developed through a greater focus on behavioural change, which the development of "My training plan" and "Exercise outside" gave rise to. The social context, feeling safe, hope for the future, well-being and longing for life before the illness were associated with capability to manage competing behaviours in order to participate in ExCR.

Model checking is a formal verification technique for verifying temporal properties in state-transition models. The main problem with using model checking is the state explosion problem, where the number of states in the model can grow exponentially, making verification infeasible. Previous work has tried to mitigate the state explosion problem by representing code blocks as Hoare-logic contracts in an abstract state-transition model using the temporal logic TLA. This is achieved by treating the block as atomic. In order to ensure that the abstract state-transition model is faithful with respect to the temporal properties you want to verify, only some code blocks can be considered atomic. This thesis aims to answer how atomic code blocks can be identified atomically and evaluate their potential for reducing state space during model checking. We give a theoretical foundation of what it means for a code block to be considered as atomic in TLA. Moreover, we introduce a property that characterizes these atomic code blocks and presents an algorithm to identify them for sequential programs written in a subset of C. Experimental results demonstrate that the identification of atomic code blocks using our algorithm can be used to significantly reduce the state space during model checking, with an average reduction factor of 62. The potential of this verification approach is promising, however, further case studies are necessary to better understand the extent of this reduction across different program types and properties. / Modellkontroll är en formell verifieringsteknik för att bekräfta tidsrelaterade egenskaper i tillståndsövergångsmodeller. Huvudproblemet med modellkontroll är problemet med tillståndsexplosion, där antalet tillstånd i modellen kan öka exponentiellt och göra verifieringen ogenomförbar. Tidigare arbete har försökt mildra problemet med tillståndsexplosion genom att representera kodblock som Hoare-logiska kontrakt i en abstrakt tillståndsövergångsmodell med hjälp av tidslogiken TLA. Detta uppnås genom att behandla blocket som atomiskt. För att säkerställa att den abstrakta tillståndsövergångsmodellen är trogen med avseende på de tidsrelaterade egenskaper du vill verifiera kan endast vissa kodblock betraktas som atomiska. Denna avhandling syftar till att besvara hur atomiska kodblock kan identifieras automatiskt och utvärdera deras potential för att minska tillståndsutrymmet under modellkontroll. Vi ger en teoretisk grund för vad det innebär för ett kodblock att betraktas som atomiskt inom TLA. Dessutom introducerar vi en egenskap som karaktäriserar dessa atomiska kodblock och presenterar en algoritm för att identifiera dem för sekventiella program skrivna i en delmängd av C. Experimentella resultat visar att identifieringen av atomiska kodblock med hjälp av vår algoritm kan användas för att betydligt minska tillståndsutrymmet under modellkontroll, med en genomsnittlig reduktionsfaktor på 62. Potentialen för denna verifieringsmetod är lovande, men ytterligare fallstudier krävs för att bättre förstå omfattningen av denna reduktion över olika typer av program och egenskaper.

The purpose of this work is to examine the teaching methods secondary and upper secondary teachers apply to teach grammar in the EFL classroom, as well as their perceptions about the benefits of having grammar knowledge and its benefits to students’ writing. Previous research reveals that grammar teaching is an integral part of language teaching; explicit and implicit methods along with deductive and inductive instruction are the main practices teachers use to transfer knowledge to their students. Apart from that, it is beneficial when teachers have good grammarknowledge; hence students can develop good metalinguistic awareness and writing ability. The theoretical framework is based on teacher cognition theory, as teachers’ personal experiences and knowledge affect their decisions about grammar practices in the classroom environment. A qualitative analysis of semi-structured interviews with six secondary and upper secondary teachers who teach English as a foreign language in different schools and municipalities in the whole of Sweden are used to conduct the current study. The results demonstrate that indeed grammar teaching is needed to teach a new language. However, factors such as age and type of groupinfluence teachers’ decisions. Above all else, teachers’ highest goal is to help students become good language users. / Syftet med detta arbete är att undersöka de undervisningsmetoder högstadie- och gymnasielärare tillämpar för att undervisa i grammatik i EFL-klassrummet, samt deras uppfattningar om fördelarna med att ha grammatikkunskap och dess fördelar för elevernas skriftliga förmåga. Tidigare forskning visar att grammatikundervisning är en integrerad del av språkundervisningen; de explicita och implicita metoderna tillsammans med deduktiv och induktiv undervisning är de huvudsakliga metoder som lärare använder för att överföra kunskap till sina elever. Bortsett från det är det fördelaktigt när lärare har goda grammatiska kunskaper; därför kan eleverna utveckla en god metaspråklig medvetenhet och skriftlig förmåga i målspråket. Det teoretiska ramverket bygger på lärarkognitionsteori, eftersom lärares personliga erfarenheter och kunskaper påverkar deras beslut om grammatikpraxis i klassrumsmiljön. En kvalitativ analys av semistrukturerade intervjuer med sex högstadie- och gymnasielärare som undervisar i engelska som främmande språk i olika skolor och kommuner i hela Sverige har använts för att genomföra den aktuella studien. Resultaten visar att det verkligen behövs grammatikundervisning för att undervisa ett nytt språk. Faktorer som ålder och typ av grupp påverkar dock lärares beslut. Framför allt annat är lärares högsta mål att hjälpa eleverna att bli bra språkanvändare.

Das vorliegende Buch stellt eine überarbeitete und deutlich erweiterte zweite Ausgabe meines gleichnamigen Buches von 2012 dar. Es wendet sich in Form eines Lehrbuchs sowohl an Anfänger wie Fortgeschrittene der Wissenschaftstheorie sowie an Wissenschaftler, die sich dafür interessieren, wann Daten eine bestimmte Theorie begründen und wie stark die Bestätigung der Theorie durch die Daten ist. Im Vordergrund steht dabei immer die erkenntnistheoretische Frage, ob bestimmte Begründungsverfahren die Ziele der Wissenschaften in überzeugender Weise verfolgen oder ob es dagegen substantielle Einwände gibt. Leider wird sich herausstellen, dass kein Verfahren ohne Fehl und Tadel ist, und wir sollten die Schwächen unserer Begründungsverfahren genau kennen, um sie korrekt einsetzen zu können.

<p>Det finns olika strategier och många olika metoder inom strategierna för att tidsuppskatta ett IT-projekt. Dessa strategier och metoder skiljer sig mer eller mindre åt och många gånger har företag egna metoder för tidsuppskattning. Dessa strategier och metoder har samma syfte, vilket är att göra så noggranna tidsuppskattningar som möjligt för att undvika försenade projekt. Examensarbetets syfte är att visa på hur LexiConsult AB kan förbättra sina tidsuppskattningar av inkommande IT-projekt genom att följa studiens rekommendationer, vilket leder till bättre tidsuppskattningar och nöjdare kunder. Undersökningen har utförts genom en litteraturstudie, där genomgång av de olika delarna inom IT-projekt skett. Det teoretiska kapitlet ligger senare till grund för den empiriska undersökning som utförts på företaget vilket ger insikt och perspektiv i hur företaget arbetar med sina projekt. Teorin visade att en bra tidsuppskattningsmetod inkluderar alla delarna i ett projekt och att dessa måste genomgås innan en bra tidsuppskattningsmetod kan tas fram.</p><p>Det komplexa ämnet tidsuppskattning har gjort att en deduktiv ansats har valts för arbetet, där utgångspunkten ligger i teorin. Den djupa teorigenomgång som har utförts av författarna avspeglar sig i den kvalitativa forskningsmetod som valts för studien där syftet med metoden är att få djupare kunskap genom analyser och tolkningar i teori och verklighet. Författarna har försöktsäkerställa examensarbetets kvalité genom att beakta det insamlade materialets validitet, reliabilitet och relevans.</p><p>De analyser som genomförs i arbetet där LexiConsults arbetssätt analyseras mot den teori som har genomgåtts leder till ett flertal rekommendationer i slutsatsen av arbetet. Företagets brister i informationsstruktur leder till rekommendationer om införandet av en databas med kategorier av de projekt företaget utför. Vikten av bra kravspecifikationer inom tidsuppskattning leder i slutsatsen till en förbättrad kravspecifikation med uppdelning av de olika faserna i projektet med tidsuppskattning och kommentarer på varje del. Vikten av bra uppföljning av projekt framhävs och rekommendationer ges till en uppföljningsmall, vilket resulterar i designen till en sådan. Företagets arbetsmetoder och historik tas tillvara och en analogisk tidsuppskattningsmetod rekommenderas för framtida projekts tidsuppskattningar. Den analogiska metodens nackdelar förbättras genom tillämpandet av den nya kravspecifikationen där projekt delas i olika faser och tidsuppskattas separat enligt mikrostrategin inom tidsuppskattningar. Uppföljningsdokumentet samt den nya kravspecifikationen och den nya informationsstrukturen kommer enligt studiens slutsats att leda till flera positiva förändringar inom företaget. De nya förändringarna tillför större ansvar för den enskilde i projekt, bättre kunskapsdelning i företaget där erfarenhetsmässig kunskap kommer att ligga till grund för nya tidsuppskattningar, bättre beslutsunderlag för konsultchef samt för kund att lättare följa upp företagets tidsuppskattningar och hitta svagheter.Det finns olika strategier och många olika metoder inom strategierna för att tidsuppskatta ett IT-projekt. Dessa strategier och metoder skiljer sig mer eller mindre åt och många gånger har företag egna metoder för tidsuppskattning. Dessa strategier och metoder har samma syfte, vilket är att göra så noggranna tidsuppskattningar som möjligt för att undvika försenade projekt.</p><p>Examensarbetets syfte är att visa på hur LexiConsult AB kan förbättra sina tidsuppskattningar av inkommande IT-projekt genom att följa studiens rekommendationer, vilket leder till bättre tidsuppskattningar och nöjdare kunder. Undersökningen har utförts genom en litteraturstudie, där genomgång av de olika delarna inom IT-projekt skett. Det teoretiska kapitlet ligger senare till grund för den empiriska undersökning som utförts på företaget vilket ger insikt och perspektiv i hur företaget arbetar med sina projekt. Teorin visade att en bra tidsuppskattningsmetod inkluderar alla delarna i ett projekt och att dessa måste genomgås innan en bra tidsuppskattningsmetod kan tas fram.Det komplexa ämnet tidsuppskattning har gjort att en deduktiv ansats har valts för arbetet, där utgångspunkten ligger i teorin. Den djupa teorigenomgång som har utförts av författarna avspeglar sig i den kvalitativa forskningsmetod som valts för studien där syftet med metoden är att få djupare kunskap genom analyser och tolkningar i teori och verklighet. Författarna har försöktsäkerställa examensarbetets kvalité genom att beakta det insamlade materialets validitet, reliabilitet och relevans.De analyser som genomförs i arbetet där LexiConsults arbetssätt analyseras mot den teori som har genomgåtts leder till ett flertal rekommendationer i slutsatsen av arbetet. Företagets brister i informationsstruktur leder till rekommendationer om införandet av en databas med kategorier av de projekt företaget utför. Vikten av bra kravspecifikationer inom tidsuppskattning leder i slutsatsen till en förbättrad kravspecifikation med uppdelning av de olika faserna i projektet med tidsuppskattning och kommentarer på varje del. Vikten av bra uppföljning av projekt framhävs och rekommendationer ges till en uppföljningsmall, vilket resulterar i designen till en sådan. Företagets arbetsmetoder och historik tas tillvara och en analogisk tidsuppskattningsmetod rekommenderas för framtida projekts tidsuppskattningar. Den analogiska metodens nackdelar förbättras genom tillämpandet av den nya kravspecifikationen där projekt delas i olika faser och tidsuppskattas separat enligt mikrostrategin inom tidsuppskattningar. Uppföljningsdokumentet samt den nya kravspecifikationen och den nya informationsstrukturen kommer enligt studiens slutsats att leda till flera positiva förändringar inom företaget. De nya förändringarna tillför större ansvar för den enskilde i projekt, bättre kunskapsdelning i företaget där erfarenhetsmässig kunskap kommer att ligga till grund för nya tidsuppskattningar, bättre beslutsunderlag för konsultchef samt för kund att lättare följa upp företagets tidsuppskattningar och hitta svagheter.</p> / <p>There are many different strategies and different approaches within the strategies to estimate the time of an IT project. These methods and practices differ in several aspects and many times companies have developed their own method for estimating time. The common factors for these strategies and methods are the objectives, which is to make time estimation as accurate as possible, to avoid delays in projects. This study aims to show how LexiConsult AB can improve it’s time estimations by following the recommendations made in this study, which leads to reduction in their time estimates and better customer satisfaction. The study was conducted through a literature review of where the various components of IT projects are reviewed. The theoretical analysis is later the subject of the empirical investigation in the company giving instinct and perspective into how the company is working on their projects. The theory showed that a good time estimation method includes all the elements of a project and these must be examined before a good time estimation method can be developed.</p><p>Because of the complexity of this topic, a deductive approach was chosen for the study, where the starting point lies in the theory. The deep theory examination conducted by the authors is reflected in the qualitative research method chosen for study where the purpose of the method is to gain deeper knowledge through analysis and interpretation of the theory and reality.The authors have tried to ensure the quality of work by considering the collected material's validity, reliability and relevance.Because of the complexity of this topic, a deductive approach was chosen for the study, where the starting point lies in the theory. The deep theory examination conducted by the authors is reflected in the qualitative research method chosen for study where the purpose of the method is to gain deeper knowledge through analysis and interpretation of the theory and reality.The authors have tried to ensure the quality of work by considering the collected material's validity, reliability and relevance.</p><p>The analysis conducted in the study, is LexiConsult's project methods which are compared against the theory. These comparisons led to a number of recommendations in the conclusion of the study. The company's shortcomings in information structure area are identified and leads to recommendations on the establishment of a database with project categories. The importance of good requirements specifications for time estimation is identified and in the conclusion an improved specification is shown. The new specification has separated phases of the project with time estimates and comments on each part. The importance of good monitoring of the projects is highlighted in the study and recommendations are given to follow a template, resulting in the design of one. The company's working methods and use of the experience is indicative, and an analogy time estimation method is recommended for future time estimations. The analogical method has disadvantages that are improved through the new specification which the project is divided into different phases and time is estimated separately according to the Micro strategy for every phase. The recommendations made in this study leads to greater responsibility for individuals within the projects, better knowledge sharing in the company where old experiences will be the basis for the new time estimates. The new changes will lead to making the decision making within a project easier for both the costumer and LexiConsult AB.</p>

Im Buch werden verschiedene Ansätze zum induktiven Schließen vorgestellt und daraufhin analysiert, welche Erfolgsaussichten sie jeweils bieten, die erkenntnistheoretischen Ziele der Wissenschaften zu erreichen. Dabei werden u.a. die konsverativen Induktionsschlüsse, Falsifikationsverfahren und die eliminative Induktion, der Schluss auf die beste Erklärung und vor allem der Bayesianismus besprochen. Außerdem geht es um die Verfahren der klassischen Statistik sowie moderne Verfahren des kausalen Schließens. Dazu wird ein erkenntnistheoretischer Rahmen angegeben, in dem die verschiedenen Begründungsverfahren untereinander verglichen werden.

Bakgrund och problem: Finanskrisen hemsökte företag, och påverkade även företags CSR-kommunikationer världen över. Studien har etablerat att det finns alternativa utgångar för företag som kommunicerade ut CSR under finanskrisen. Den ena stigen skildrar CSR-kommunikation i dystert manér, på så sätt att åtagandet bortprioriterades under finanskrisen, medan en annan stig skildrar att CSR-kommunikation användes som ett sätt att dra ekonomiska fördelar. Det kan därmed poneras att finanskrisen har påverkat svenska företags CSR-kommunikationer. En ytterligare annan stig skildrar dock att finanskrisen inte påverkade företags CSR-kommunikationer. Syfte: Studiens syfte är att undersöka om och hur och varför eller varför inte finanskrisen har påverkat CSR-kommunikationer i Sverige, genom att fokusera på indikatorer för CSR och ställa frågor till företagsansvariga. Metod: Studien utgår från en kvantitativ undersökningsmetod, därvid data samlades in genom datoriserad innehållsanalys och webbenkäter. Ett populationsurval med 126 företag verkandes i Stockholmsbörsens Large Cap och Mid Cap studerades. Hypoteser skapades utifrån etablerade teorier, med avsikt att besvara studiens ställda syfte. Slutsatser: Svenska företags CSR-kommunikationer förhöll sig desamma, alternativt ökade smått under finanskrisen. Däremot påverkades inte svenska företags CSR-kommunikationer signifikant av finanskrisen. Webbenkäterna svarade särskilt på varför inte finanskrisen påverkade CSR-kommunikationer i Sverige. Svaren visade tendenser på att svenska företag erfor att det inte fanns affärsmöjligheter att inhämta under finanskrisen. Svenska företag visade dessutom tendenser på att ha CSR-kommunikation som en långsiktig strategisk fråga. Detta kan förklara varför svenska företags CSR-kommunikationer inte bortprioriterades under finanskrisen.

Det finns olika strategier och många olika metoder inom strategierna för att tidsuppskatta ett IT-projekt. Dessa strategier och metoder skiljer sig mer eller mindre åt och många gånger har företag egna metoder för tidsuppskattning. Dessa strategier och metoder har samma syfte, vilket är att göra så noggranna tidsuppskattningar som möjligt för att undvika försenade projekt. Examensarbetets syfte är att visa på hur LexiConsult AB kan förbättra sina tidsuppskattningar av inkommande IT-projekt genom att följa studiens rekommendationer, vilket leder till bättre tidsuppskattningar och nöjdare kunder. Undersökningen har utförts genom en litteraturstudie, där genomgång av de olika delarna inom IT-projekt skett. Det teoretiska kapitlet ligger senare till grund för den empiriska undersökning som utförts på företaget vilket ger insikt och perspektiv i hur företaget arbetar med sina projekt. Teorin visade att en bra tidsuppskattningsmetod inkluderar alla delarna i ett projekt och att dessa måste genomgås innan en bra tidsuppskattningsmetod kan tas fram. Det komplexa ämnet tidsuppskattning har gjort att en deduktiv ansats har valts för arbetet, där utgångspunkten ligger i teorin. Den djupa teorigenomgång som har utförts av författarna avspeglar sig i den kvalitativa forskningsmetod som valts för studien där syftet med metoden är att få djupare kunskap genom analyser och tolkningar i teori och verklighet. Författarna har försöktsäkerställa examensarbetets kvalité genom att beakta det insamlade materialets validitet, reliabilitet och relevans. De analyser som genomförs i arbetet där LexiConsults arbetssätt analyseras mot den teori som har genomgåtts leder till ett flertal rekommendationer i slutsatsen av arbetet. Företagets brister i informationsstruktur leder till rekommendationer om införandet av en databas med kategorier av de projekt företaget utför. Vikten av bra kravspecifikationer inom tidsuppskattning leder i slutsatsen till en förbättrad kravspecifikation med uppdelning av de olika faserna i projektet med tidsuppskattning och kommentarer på varje del. Vikten av bra uppföljning av projekt framhävs och rekommendationer ges till en uppföljningsmall, vilket resulterar i designen till en sådan. Företagets arbetsmetoder och historik tas tillvara och en analogisk tidsuppskattningsmetod rekommenderas för framtida projekts tidsuppskattningar. Den analogiska metodens nackdelar förbättras genom tillämpandet av den nya kravspecifikationen där projekt delas i olika faser och tidsuppskattas separat enligt mikrostrategin inom tidsuppskattningar. Uppföljningsdokumentet samt den nya kravspecifikationen och den nya informationsstrukturen kommer enligt studiens slutsats att leda till flera positiva förändringar inom företaget. De nya förändringarna tillför större ansvar för den enskilde i projekt, bättre kunskapsdelning i företaget där erfarenhetsmässig kunskap kommer att ligga till grund för nya tidsuppskattningar, bättre beslutsunderlag för konsultchef samt för kund att lättare följa upp företagets tidsuppskattningar och hitta svagheter.Det finns olika strategier och många olika metoder inom strategierna för att tidsuppskatta ett IT-projekt. Dessa strategier och metoder skiljer sig mer eller mindre åt och många gånger har företag egna metoder för tidsuppskattning. Dessa strategier och metoder har samma syfte, vilket är att göra så noggranna tidsuppskattningar som möjligt för att undvika försenade projekt. Examensarbetets syfte är att visa på hur LexiConsult AB kan förbättra sina tidsuppskattningar av inkommande IT-projekt genom att följa studiens rekommendationer, vilket leder till bättre tidsuppskattningar och nöjdare kunder. Undersökningen har utförts genom en litteraturstudie, där genomgång av de olika delarna inom IT-projekt skett. Det teoretiska kapitlet ligger senare till grund för den empiriska undersökning som utförts på företaget vilket ger insikt och perspektiv i hur företaget arbetar med sina projekt. Teorin visade att en bra tidsuppskattningsmetod inkluderar alla delarna i ett projekt och att dessa måste genomgås innan en bra tidsuppskattningsmetod kan tas fram.Det komplexa ämnet tidsuppskattning har gjort att en deduktiv ansats har valts för arbetet, där utgångspunkten ligger i teorin. Den djupa teorigenomgång som har utförts av författarna avspeglar sig i den kvalitativa forskningsmetod som valts för studien där syftet med metoden är att få djupare kunskap genom analyser och tolkningar i teori och verklighet. Författarna har försöktsäkerställa examensarbetets kvalité genom att beakta det insamlade materialets validitet, reliabilitet och relevans.De analyser som genomförs i arbetet där LexiConsults arbetssätt analyseras mot den teori som har genomgåtts leder till ett flertal rekommendationer i slutsatsen av arbetet. Företagets brister i informationsstruktur leder till rekommendationer om införandet av en databas med kategorier av de projekt företaget utför. Vikten av bra kravspecifikationer inom tidsuppskattning leder i slutsatsen till en förbättrad kravspecifikation med uppdelning av de olika faserna i projektet med tidsuppskattning och kommentarer på varje del. Vikten av bra uppföljning av projekt framhävs och rekommendationer ges till en uppföljningsmall, vilket resulterar i designen till en sådan. Företagets arbetsmetoder och historik tas tillvara och en analogisk tidsuppskattningsmetod rekommenderas för framtida projekts tidsuppskattningar. Den analogiska metodens nackdelar förbättras genom tillämpandet av den nya kravspecifikationen där projekt delas i olika faser och tidsuppskattas separat enligt mikrostrategin inom tidsuppskattningar. Uppföljningsdokumentet samt den nya kravspecifikationen och den nya informationsstrukturen kommer enligt studiens slutsats att leda till flera positiva förändringar inom företaget. De nya förändringarna tillför större ansvar för den enskilde i projekt, bättre kunskapsdelning i företaget där erfarenhetsmässig kunskap kommer att ligga till grund för nya tidsuppskattningar, bättre beslutsunderlag för konsultchef samt för kund att lättare följa upp företagets tidsuppskattningar och hitta svagheter. / There are many different strategies and different approaches within the strategies to estimate the time of an IT project. These methods and practices differ in several aspects and many times companies have developed their own method for estimating time. The common factors for these strategies and methods are the objectives, which is to make time estimation as accurate as possible, to avoid delays in projects. This study aims to show how LexiConsult AB can improve it’s time estimations by following the recommendations made in this study, which leads to reduction in their time estimates and better customer satisfaction. The study was conducted through a literature review of where the various components of IT projects are reviewed. The theoretical analysis is later the subject of the empirical investigation in the company giving instinct and perspective into how the company is working on their projects. The theory showed that a good time estimation method includes all the elements of a project and these must be examined before a good time estimation method can be developed. Because of the complexity of this topic, a deductive approach was chosen for the study, where the starting point lies in the theory. The deep theory examination conducted by the authors is reflected in the qualitative research method chosen for study where the purpose of the method is to gain deeper knowledge through analysis and interpretation of the theory and reality.The authors have tried to ensure the quality of work by considering the collected material's validity, reliability and relevance.Because of the complexity of this topic, a deductive approach was chosen for the study, where the starting point lies in the theory. The deep theory examination conducted by the authors is reflected in the qualitative research method chosen for study where the purpose of the method is to gain deeper knowledge through analysis and interpretation of the theory and reality.The authors have tried to ensure the quality of work by considering the collected material's validity, reliability and relevance. The analysis conducted in the study, is LexiConsult's project methods which are compared against the theory. These comparisons led to a number of recommendations in the conclusion of the study. The company's shortcomings in information structure area are identified and leads to recommendations on the establishment of a database with project categories. The importance of good requirements specifications for time estimation is identified and in the conclusion an improved specification is shown. The new specification has separated phases of the project with time estimates and comments on each part. The importance of good monitoring of the projects is highlighted in the study and recommendations are given to follow a template, resulting in the design of one. The company's working methods and use of the experience is indicative, and an analogy time estimation method is recommended for future time estimations. The analogical method has disadvantages that are improved through the new specification which the project is divided into different phases and time is estimated separately according to the Micro strategy for every phase. The recommendations made in this study leads to greater responsibility for individuals within the projects, better knowledge sharing in the company where old experiences will be the basis for the new time estimates. The new changes will lead to making the decision making within a project easier for both the costumer and LexiConsult AB.

INLEDNING Vårdplaneringar kräver ett entydigt och nyanserat språk för att identifiera patienternas förmåga och insatsbehov gällande aktiviteter i det dagliga livet (ADL). Studiens utgångspunkt är KASAM, människans behov av sammanhang, begriplighet, hanterbarhet och meningsfullhet i sitt dagliga liv. SYFTE Att belysa och validera ADL-terminologin inom sjukvård och rehabilitering. METOD Uppsatsen är en kvalitativ och kvantitativ studie med en deduktiv ansats. ADL-verktyget Rainbow användes som mall. Materialet har insamlats genom enkäter och fokusgruppsintervjuer. Biståndshandläggare och arbetsterapeuter har intervjuats. Studien beskriver även hur en grupp seniorer, utan relation till eller erfarenhet av vård eller vårdplanering, tolkade terminologin och synonymerna. Intervjuerna behandlade följande teman: ADL-terminologi, synonymer, uppfattningar samt kategorisering utifrån en hierarkisk ordning. RESULTAT Nuvarande terminologi och tillvägagångssätt kan innebära att patienterna och deras anhöriga upplever otrygghet angående teamets planerade insatser. Studiens resultat visar att sjukvårdens team och patienter kan dela och använda ett gemensamt språk. SLUTSATS Språket är nyckeln till att förstå sammanhang. KASAM som ledstjärna i språket skapar en värdegrund för vad som har överenskommits och kvalitetssäkrar patienternas vård- och rehabiliteringsinsatser. / INTRODUCTION Healthcare planning require an unambiguous and varied language to identify patient´s ability and effort needs regarding activities of daily living (ADL). The study's starting point is KASAM, the human need for coherence, comprehensibility, manageability and meaningfulness in their daily lives. AIM To highlight and validate ADL terminology of medical care and rehabilitation. METHODOLOGY The thesis is a combined, descriptive study with a deductive approach. ADL Rainbow tool was used as a template. The material was collected through questionnaires and focus group interviews. Care managers and occupational therapists were interviewed. The study also describes how a group of seniors, without relation to or experience of care or care planning, interpreted the terminology and synonyms. The interviews covered the following themes: ADL terminology, synonyms, views and categorization based on a hierarchical order. RESULTS Current terminology and approach could mean that the patients and their relatives could feel insecure regarding the team's planned interventions. The study results show that the medical team and patients can share and use a common language. CONCLUSION Language is the key to understanding the context. KASAM as a guiding-star in language, creates a value base for what has been agreed and ensures quality assures patient´s care and rehabilitation efforts.