Denna uppsats handlar om formella metoder i samband med systemutveckling. Formella metoder används främst vid utveckling av kritiska system, men de kan även tillämpas i vanlig systemutveckling. Ny teknik utvecklas ständigt och system blir alltmer komplexa och detta medför i sin tur högre krav på systemutvecklaren. Många systemutvecklingsprojekt misslyckas och en bidragande orsak har varit bristfällig analys och framtagande av kravspecifikationer. Att tillämpa formella metoder i systemutveckling medför många fördelar.

Länsstyrelsen i Stockholms län hade en projektidé som gick ut på att det skulle skapas en Internetbaserad ansökan för körkortstillstånd med behörighet B, inklusive hälsodeklaration. Även en optiker skulle kunna fylla i ett synundersökningsformulär via webben. Dessa skulle sedan knytas ihop för behandling av den Länsstyrelse där den sökande bor. Alla personer som skall använda tjänsten måste inneha ett personligt medborgarcertifikat som används för elektronisk signering av ansökan. Optikern behöver ett företagscertifikat för att identifiera sig. Vi utvecklade två interaktiva användargränssnitt samt ett gränssnitt där administratören kunde hantera all data som inkommit.

Syftet med vårt examensarbete är att studera vad som finns på väggarna samt hur institutionen synliggörs. Vidare är syftet att undersöka pedagogernas syn på hur väggarna används i verksamheten. Vid en genomgång av forskning framkom att det finns många studier kring förskolans miljö. Genomgången visade vidare att väggarna nämns i forskning om pedagogisk dokumentation. Det finns emellertid inte något direkt fokus på väggarna i dessa studier. De Jong (2010) menar att det inte finns mycket forskning kring miljöns påverkan på verksamhetens resultat. Vi diskuterar förskolan som institution och analyserar empirin med hjälp av följande begrepp; förskolan som institution, handlingserbjudande, det önskvärda förskolebarnet samt kommunikation.

För att Securitas AB skall kunna behålla sin position i Norrköping Flygplats är det viktigt att de effektiviserar sin bemanning och scheman. Detta krävs för att kunna uppnå kostnadsreduceringar som skall i sin tur ge dem konkurrensfördelar för att behålla sin position vid årliga upphandlingar som sker mellan kommun och flygplats. För att effektivisera sin bemanning och scheman skall teoretiska delar användas för att styra grupper och verksamheten bättre, teoretiska delarna är i form av schemaläggningsprinciper.Vid en effektivisering av verksamheten skall en optimeringsmodell användas med flera funktioner som möjliggör en heltäckande optimeringslösning för att generera den mest kostnadseffektivaste bemanningen för schemaläggningen. Ett tekniskt system som ett informationssystem skall även strukturera Securitas arbete effektivare med en bättre bokföring över de anställda samt underlätta tillämpningen av ett standardiserat arbetssätt. Vikten av ett standardiserat arbetssätt behandlas mycket inom LEAN-filosofin och anses viktig i detta fall för att få de teoretiska delarna och informationssystemet att fungera ihop.

The following text constitutes an attempt to present the French philosopher Gilbert Simondon's genetic ontology through an account of his reconfiguration of the problem of individuation in his doctoral thesis from 1958, L'individuation à la lumière des notions de forme, information, potentiel, métastabilité. The intention is to show how Simondon through this reconfiguration of a classical philosophical problem ? in which concepts and schemas from contemporary physics and technology is utilised in a critique of the bi-polar hylomorphic schema as its traditional, substantialistic solution ? becomes able to articulate an anti-substantialistic and anti-reductionistic ontogenesis as first philosophy. A systematic philosophical conception that according to Simondon precedes every critical investigation of the subject as well as every scientific ontology ? not by establishing a pre-critical position, but by exceeding Kant's critical position: that is, through a displacement toward a conception of the transcendental conditions for the genesis of being and thought as real conditions, rather than conditions of mere possibility.

Abstract Uppsatsens huvudsyfte är att belysa UNICEF:s (Förenta Nationernas barnfond) arbete med implementeringen av FN:s barnkonvention i Kosova samt belysa Barnens kunskap om barnkonventionen och UNICEF. Den sociologiska teorin jag använt är George Ritzers teori om den metateoretiska scheman. Ritzer skapade ett metateoetisk schema för att analysera samhället ifrån fyra olika nivåer: mikro, makro och subjektiv och objektiv. Makro-objektiv fokuserar sig mer på stora stora sociala fenomen som, samhällen, byråkrati etc, medan mikro-subjektiv omfattar stor skaliga icke materialistiska fenomen som värden och normer. För att få en sanningsenlig bild av både barnen och UNICEF har jag använt mig av kvalitaiv och kvantitiv metod.

Studien är en kvalitativ fallstudie kring brukarinflytande och empowerment på aktivitetshuset Gunnareds gård. Syftet har varit att undersöka hur empowermentliknande metoder tillämpas och hur empowermentarbetet upplevs av deltagare och personal. För att få undersöka detta har vi haft följande frågeställningar? Vilka metoder används vid tillämpningen av empowerment? -Hur tillämpas dessa metoder i verksamheten? ? Kan deltagarna påverka verksamheten? -Hur/Varför inte?? Hur beskriver personalen de begrepp de arbetar med?? Hur upplevs arbetet med inflytande och empowerment?ResultatArbetet med brukarinflytande på Gunnareds gård sker främst genom verksamhetens möten och arbetsgrupper. Ett av de resultat som kom fram i vår studie är hur deltagare och personals uppfattning av möten delvis skiljer sig åt.

I detta arbete presenteras en redovisning av Kurt Weill som kompositör under en tumultartad period (1927 - 33) av hans händelserika liv. Arbetet har jag skrivit ur en gitarrists och banjospelares ögon, och jag har i min redovisning av hans verk givit kortfattade beskrivningar om hur Weill kan ha gått tillväga då han komponerade för dessa knäppinstrument. Följaktligen har jag resonerat över varför han skrev för dessa instrument; vilka omständigheter och vilka personer som kan ha inspirerat honom till att göra detta. Syftet med detta har varit att samla kunskap till interpretation och arrangering av hans verk, kunskap som jag sedan har använt i en konsert. Jag har även haft som mål att öka min egen kunskap om Weill som kompositör, och att kunna få andra att upptäcka kvalitéerna i hans kompositörskap.Efter att ha skaffat fördjupad kunskap om ett stort antal verk av Weill så har jag valt ut ett antal stycken att arrangera.

Abstract Uppsatsens huvudsyfte är att belysa UNICEF:s (Förenta Nationernas barnfond) arbete med implementeringen av FN:s barnkonvention i Kosova samt belysa Barnens kunskap om barnkonventionen och UNICEF. Den sociologiska teorin jag använt är George Ritzers teori om den metateoretiska scheman. Ritzer skapade ett metateoetisk schema för att analysera samhället ifrån fyra olika nivåer: mikro, makro och subjektiv och objektiv. Makro-objektiv fokuserar sig mer på stora stora sociala fenomen som, samhällen, byråkrati etc, medan mikro-subjektiv omfattar stor skaliga icke materialistiska fenomen som värden och normer. För att få en sanningsenlig bild av både barnen och UNICEF har jag använt mig av kvalitaiv och kvantitiv metod.

SammanfattningSyfte och frågeställningar Det primära syftet med denna studie är att belysa hur piloter upplever att kommunikationen i cockpit påverkas av trötthet. Vårt sekundära syfte är att ge exempel på vad piloterna gör för att motverka trötthet under arbetet. Hur påverkas piloternas kommunikationsförmåga under trötthet? Hur påverkas kommunikationen mellan piloterna under trötthet?Vilka strategier använder piloterna för att minska tröttheten under flygningar; både förebyggande, livsstilsrelaterade strategier samt direkta åtgärder? Metod För att få en nyanserad bild av hur piloterna upplever att tröttheten påverkar kommunika-tionen dem emellan samt vilka strategier de använder sig av för att minska tröttheten under flygningen ansågs en kvalitativ ansats med semistrukturerade intervjuer vara den lämpligaste datainsamlingsmetoden. Sex intervjuer med manliga piloter mellan 31 och 37 år genom-fördes.Resultat Studiens resultat följer det nuvarande forskningsläget. Samtliga piloter upplevde att tröttheten hade en negativ inverkan på kommunikationsförmågan samt kommunikationen dem emellan.

The aim of this essay is to analyze how media constructs strategic positional statements in debates of great immediate interest in order to stress ideological standpoints. Two questions are derived on the basis of this aim.- How is Russia positioned in Svenska Dagbladet's and Dagens Nyheter's editorials in the debate on the Swedish defence during 09-01-13 - 09-01-31?- Are there differences in the positional statements between the newspapers?In the study a Critical Discourse Analytical (CDA) approach is applied, and more specifically that of Teun A. van Dijk. Both the theoretical basis and the methodological tools are based on van Dijks CDA.

Sammanfattning Syftet med denna studie är att synliggöra hur pedagoger och föräldrar upplever att samarbete och samverkan fungerar mellan förskola och förskoleklass vid övergången mellan verksamheterna, samt hur pedagoger och föräldrar upplever att barns tidigare erfarenheter och kunskaper tillvaratas i förskoleklassen. Frågeställningarna som vår studie har utgått ifrån är: Hur upplever pedagoger och föräldrar att övergången mellan förskola och förskoleklass bör vara? Hur upplever pedagoger och föräldrar att barns tidigare erfarenheter och kunskaper som de lärt sig i förskolan används i förskoleklassen? Hur upplever pedagoger och föräldrar att samverkan och samarbetet sker mellan förskola och förskoleklass? I tidigare forskning inom samma område har det framkommit att det under en längre tidsperiod har gjorts försök att få igång ett fungerade samarbete mellan instanserna. Det lyfts även fram i tidigare forskning att det är svårt att hitta generella lösningar för hur samarbetet och samverkan skall ske utan det beror mycket på lokala villkor, som verksamheternas placering, schema och tid för planering. Studien har genomförts genom intervjuer med pedagoger som är verksamma i förskoleklass och pedagoger som arbetar med blivande förskoleklassbarn vid två tillfällen, våren och hösten 2013.

I denna uppsats genomförs en översättning av ett antal avsnitt ur Samuel Pepys dag-­bok från den engelska restaurationsepoken, varefter översättningen analyseras medsärskilt fokus på de specifika svårigheter som kan uppstå med anledning av att textenär hämtad från en äldre tidsepok. Som målgrupp för översättningen antas en publikmed intresse för historia på populärvetenskaplig nivå.Analysen av översättningen har ett tvådelat syfte: för det första att undersökaolika möjligheter att anpassa måltexten till att i någon mån återspegla att källtextenär ett historiskt dokument, och för det andra att analysera de olika svårigheter somhar att göra med att språkbruket reflekterar ett samhälle där institutioner, yrken, ter-­mer, seder och bruk osv. är helt andra än samtidens.Som ett stöd för analysen genomförs en ytterligare analys av översättningen enligtVinay och Darbelnets lingvistiskt grundade modell för översättningsstrategier.Genom analysen identifieras ett antal grammatiska, stilistiska och lexikala möjlig-­heter för att låta texten återspegla en äldre stil. Dessutom identifieras och klargörs ettantal svårigheter vid översättning av begrepp inom olika områden, med förslag tillhur dessa kan lösas. Ett resonemang förs kring hur expliciteringar och fotnoter tillstöd för läsaren lämpligen görs för denna typ av text.Analysen enligt Vinay och Darbelnets schema visade på en relativt hög använd-­ning av översättningsprocedurer som inte enbart innebär förändringar på strukturellnivå, utan som även inbegriper pragmatiska modifikationer.

Abstract Titel: Hur barn beter sig i konflikter Författare: Fristedt, Anna-Lena & Lindberg, Annika Fristedt, Anna-Lena & Lindberg, Annika (2008). Hur barn beter sig i konflikter. (How children react in a conflict). Malmö: Lärarutbildningen, Malmö Högskola. Syftet med studien är att undersöka om yngre skolbarns konfliktbeteende förändras samt om de är medvetna om sitt eget beteende i en konflikt. Vi har studerat konfliktbeteendet genom att intervjua elever och pedagoger.

Mätrummet på Bosch Rexroth Mellansel har till uppgift att kontrollmäta artiklar innan de monteras ihop till en radialhydraulmotor. Mätrummet upplevs idag som en flaskhals för fabriken, men detta arbete antyder att mätrummet inte är överbelagda och därmed inte bör vara en flaskhals. Mätrummet koordinerar ett 30-tal oberoende flöden och cirka 500 olika artiklar. Analyser av flödet gav att:?Artiklarnas kontrollfrekvenser kan delas in i: mängd-, tid- och omställsbaserade kontroller.?Av tillgänglig tid i mätrummet upptar CA-motorn 35 %, CB-motorn 35 %, MA 14 % och VI 10 %, och resterande 6 % består av ankomst-, R&D-kontroller samt underhållsarbete.?Artiklarnas processtid genom mätrummet varierar från 10 min till 3 h.