Sökresultat:
1046 Uppsatser om Formal mathematics - Sida 55 av 70
Analysis of Intent Specification and SystemUpgrade Traceability
The impact of computer programs in safety-critical systems has increased in the past decades and computer-based systems can now be found in a wide range of applications. A new approach for developing dependable systems is documenting all design rationale that affects safety using Intent Specifications. A recent approach for developing complex systems efficiently and in an upgradeable manner is Component-Based System Engineering. In this thesis, these approaches are combined in the development and upgrade of a Remote Robot Control Unit by using the tool SpecTRM. The case study showed that Intent Specifications and CBSE could successfully be combined.
Directing Consultants' Effort -A Study of Four Staffing Companies
Background and discussion of the problem: In the staffing company business a unique situation exists because of the three part relation between the staffing company, the users of the staffing companies? services, and the consultants employed by the staffing company. To over bridge the conflicting objectives of the staffing company and the consultant incentive systems are designed. Research question: What effects on the consultants? effort direction do the staffing managers expect of the formal or informal incentive system? Method: The authors have found that a suitable method for the thesis is a survey study.
Systemvetaren i den tredje dimensionen - en studie av arbetsprocessen vid 3D-animation
3D blir ett allt vanligare inslag i vår vardag. Tv-reklam, Internet och tidningar innehåller ofta virtuellt skapade miljöer och karaktärer. På grund av ämnets popularitet finns ett intresse att undersöka hur en 3D-utveckling ser ut. Systemutvecklare kan ha nytta av 3D-animation på många sätt. Till exempel så kan det användas för att visualisera komplicerade systemprocesser för användare.
Användning av den mobila tjänsten SMS i ett system
Syftet med uppsatsen var att undersöka vad som gör att en användare vill använda SMS i en organisation och vilka faktorer som påverkar användandet av detta system, det vill säga acceptansen av att använda det. Då denna typ av system är relativt nya tyckte vi att detta var ett intressant ämne att undersöka, samtidigt som vi ville se vilka faktorer som påverkar användaren i avseende till användning av ett specifikt SMS-baserat system. Det kan även vara intressant för företag som vill implementera eller utveckla den här typen av system. Utifrån syftet bestämde vi oss för ett visst tillvägagångssätt som vi skulle använda oss av för att kunna få svar på våra frågor. Tillvägagångssättet var att leta i den litteratur vi haft på tidigare kurser inom det systemvetenskapliga programmet för att hitta en teori som kunde ge oss stöd för ett resonemang.
Återanvändning i kravhanteringen
Samtidigt som kravhanteringen sägs vara den mest komplexa fasen i systemutvecklingsprocessen, så är det även kanske den viktigaste då den påverkar alla efterföljande faser. Utan väldefinierade och korrekta krav löper systemet avsevärd risk att inte motsvara kundens förväntningar. Ju senare in i processen man kommer, desto mer kostsamt att rätta till felaktigheter. Tanken är att man genom att återanvända kunskap och erfarenheter från tidigare genomförda och liknande projekt, både kan minska riskerna och kostnaderna samtidigt som man når högre produktivitet och resultatet blir ett system med högre kvalitet. Återanvändning har tidigare studerats främst under senare faser i systemutvecklingen, i form av kod och komponenter.
I tsunamins kölvatten : En jämförande studie av krisberedskap i Sverige och i Storbritannien
Abstract?Political participation by the citizen?- Citizen proposals in Karlstad municipalityEssay in Political Science, C-levelAuthor: Tobias GustafssonTutor: Michele MichelettiIn Sweden the political parties are losing more and more of their members. That in combination with a tendency that the participation in the elections is getting lower is a problem for the representative and parliamentary political system in Sweden.In order to strengthen the democracy in Sweden and to make the gap between the citizens and the elected smaller there has been some democracy-projects. The purpose of these democracy-projects is to make the political participation by the citizens, between the elections, higher. One of them is ?citizen proposals to the municipality?.The purpose of this essay is to examine this democracy-project in order to see what influences it might have on the local democracy.
Varför e-handlar inte fler konsumenter?
Syftet med uppsatsen är att utreda varför inte fler konsumenter e-handlar. Vi vill ta reda på varför e-handeln inte tagit en större marknadsandel av den totala marknaden som förutspåtts. Vi har valt att enbart titta på business-to-consumer relationer. Våra respondenter befinner sig i åldern 18-65 år. Vi har använt oss av enkäter och semistrukturerade intervjuer av privatpersoner.
attraktrivitet och regionplanering : Hur ska osby kunna ha en positiv ekonomisk tillväxt och befolkningsutveckling i region skåne?
AbstractAttractiveness may be defined by a variety of factors but you should see it in the public planning as it is to have a positive population growth and economic growth, through working with communications, service, housing, to name a few. This is done primarily through direct projects both within the municipality and through various partnerships between local and regional level. The progress we have seen in recent years has gone more towards a clear shell level, particularly a regional level where these have had a much greater freedom with clear geographical boundaries in between each other. Within these regions there are also clear regional groupings that have common interests and competing between each other. In my thesis, we have been distinguished including three levels of scale levels.
Om ett marknadsanpassat Globalt Ansvar En kritisk diskursanalys av privatoffentliga partnerskap och företags sociala ansvar i svenskt utvecklingssamarbete
Swedish Development Cooperation emphasizes the need for collaboration among actors on a national level. In that context, the purpose of the thesis is to investigate how Public Private Partnership (PPP) on Corporate Social Responsibility (CSR) may influence the changing role of the state. The thesis is informed by Critical Discourse Analysis. In order to investigate the social constructions of reality, the thesis is a critical study of language related to ?Globalt Ansvar: Swedish Partnership for Global Responsibility? to identify through what discourses Collaboration on Corporate Social Responsibility is produced; and the implications in relation to Public Private Partnership.
Skogsvårdsentreprenörer i norra Norrland 2009 : företagsbeskrivning och analys av kompetensens betydelse för planteringsresultat
The number of silvicultural contractors has significantly increased in the last decades, and among its main clients are the forest companies. The purpose with this study was to describe the contractors that worked with planting in Norrbotten and Västerbotten in 2009 for Holmen Skog, Norra Skogsägarna, SCA Skog and Sveaskog and also examine if there was any correlation between the contractors? competence and the quality in the planting they achieved.
A survey was made among 47 contractors with a questionnaire who performed planting for the forestry companies in 2009. 27 contractors answered the questionnaire and 4 representatives of these contracting companies took part in an extensive interview.
Förändrade resemönster i Gävleborgs län : En sammanställning av kostnader och klimatpåverkan vid tjänsteresor samt analys av sociala effekter vid ett skifte mot videkonferens i en organisation
The world we live in becomes more globalized as a result of new communication media. Communication occurs over greater distances which leads to increased travel. In the report AR5, by IPCC, it is showed that the human impact of climate change is clear and that something has to be done. Therefore its very important to change the human impact. A part of it is to change the way we travel within the service which leads to the purpose of the thesis.
Medborgarens politiska deltagande : Medborgarförslag i Karlstads kommun
Abstract?Political participation by the citizen?- Citizen proposals in Karlstad municipalityEssay in Political Science, C-levelAuthor: Tobias GustafssonTutor: Michele MichelettiIn Sweden the political parties are losing more and more of their members. That in combination with a tendency that the participation in the elections is getting lower is a problem for the representative and parliamentary political system in Sweden.In order to strengthen the democracy in Sweden and to make the gap between the citizens and the elected smaller there has been some democracy-projects. The purpose of these democracy-projects is to make the political participation by the citizens, between the elections, higher. One of them is ?citizen proposals to the municipality?.The purpose of this essay is to examine this democracy-project in order to see what influences it might have on the local democracy.
Elevperspektiv på motivation i matematik : En studie kring elevers uppfattningar om motivation i grundskolans tidiga år
Denna studie handlar om elevers uppfattningar om motivation i ämnet matematik. Syftet med denna studie var att lyfta fram elevers egna utsagor och upplevelser om sin motivation, samt få en bild av eventuella förändringar eller mönster kring elevers motivation till matematikämnet under deras tidiga år i grundskolan. Studien har genomförts med hjälp av elevenkäter och elevintervjuer, där kvalitativa och kvantitativa metoder kombinerats för att möjliggöra ett fördjupat analysarbete i undersökningens resultatdel. Här presenteras elevers uppfattningar av motivation i ämnet matematik samt deras tankar om vad som påverkar motivationen. Analysen av resultaten visar att eleverna har en god uppfattning om vad som påverkar deras motivation. De ger många exempel, där fysiskt och psykiskt välmående samt lärarens pedagogiska arbete i klassrummet, har betydelse för motivationsprocessen.
Se mig, köp mig! : En studie om framställningen av kvinnor och män i reklam för skönhetsprodukter
Master?s Thesis in Media and CommunicationTitle: See me, buy me ? A study of how women and men are exposed in commercial advertisements for beauty productsAuthor: Annelie EliassonUniversity: University of HalmstadCourse: Media and CommunicationTerm: Spring 2013Supervisor: Ebba SundinExaminer: Ingegerd RydinPurpose: This studys purpose is to examine how women and men are exposed in commercial advertisements for beauty products. To examine this purpose two main questions have been formulated:What differences and similarities are there in the representation of women and men in the commercial advertisements?Are there any differences in the representation regarding the target audience in the commercial advertisements?Method: Quantitative content analysisMaterial: 443 commercial advertisements for beauty products in the Swedish lifestyle magazines Plaza Kvinna and Café Magazine from 2008 to 2012Main results: The result of the study shows that women and men, presented in the commercial advertisements for beauty products, were very much alike in most aspects. For example there were only insignificant differences regarding how much of the person?s body that was included in the advertisement, the body position and the activeness of passiveness of the person in question.
Representation och strukturers betydelse för inflytande : Om fackförbunden inom LOs ungdomsverksamhet
?The importance of representation and structures to establish influence. A study of the Trade Unions Youth Activities within The Swedish Trade Union Confederation.?-Katrin OlofssonThis essay is studying the importance of representation and structures for the youth to establish influence, within the Trade Unions of The Swedish Trade Union Confederation, LO. More specific it is about the youths influence in each trade union´s executive committee.