The thesis proposes a number of techniques for elaborating requirements constructively from high-level goals. The techniques are based on the KAOS goal-oriented method for requirements engineering. This method consists in identifying goals and refining them into subgoals until the latter can be assigned as responsibilities of single agents such as humans, devices and software. Domain properties and assumptions about the software environment are also used during the goal refinement process. The method supports the exploration of alternative goal refinements and alternative responsibility assignments of goals to agents. It also supports the identification and resolution of conflicts between goals, and the identification and resolution of exceptional agent behaviors, called obstacles, that violate goals and assumptions produced during the goal refinement process. The thesis enriches the KAOS framework through three kinds of techniques: (a) techniques for identifying agents, goal refinements, and alternative responsibility assignments, and for deriving agent interfaces from such responsibility assignments; (b) techniques for deriving operational requirements from goal specifications; (c) techniques for generating obstacles to the satisfaction of idealized goals and assumptions, and for generating alternative obstacle resolutions. The result is a coherent body of systematic techniques for requirements elaboration that are both theoretically well-founded (a formal model of agent is defined) and effective in practice (the techniques are validated on two real case studies of significant size: the London ambulance despatching system, and the Bay Area Rapid Transit train system).

The thesis proposes a number of techniques for elaborating requirements constructively from high-level goals. The techniques are based on the KAOS goal-oriented method for requirements engineering. This method consists in identifying goals and refining them into subgoals until the latter can be assigned as responsibilities of single agents such as humans, devices and software. Domain properties and assumptions about the software environment are also used during the goal refinement process. The method supports the exploration of alternative goal refinements and alternative responsibility assignments of goals to agents. It also supports the identification and resolution of conflicts between goals, and the identification and resolution of exceptional agent behaviors, called obstacles, that violate goals and assumptions produced during the goal refinement process. The thesis enriches the KAOS framework through three kinds of techniques: (a) techniques for identifying agents, goal refinements, and alternative responsibility assignments, and for deriving agent interfaces from such responsibility assignments; (b) techniques for deriving operational requirements from goal specifications; (c) techniques for generating obstacles to the satisfaction of idealized goals and assumptions, and for generating alternative obstacle resolutions. The result is a coherent body of systematic techniques for requirements elaboration that are both theoretically well-founded (a formal model of agent is defined) and effective in practice (the techniques are validated on two real case studies of significant size: the London ambulance despatching system, and the Bay Area Rapid Transit train system).

Denna uppsats är en studie av eventuella likheter mellan Pär Lagerkvist tidiga prosa och stildrag hos den tyska expressionismen, som hade sin blomstringstid samtidigt som Lagerkvist publicerade sina första samlingar med prosa och poesi. Jämförelser har tidigare gjorts, främst gällande lyriken och har då visat på flera gemensamma drag. Denna uppsats jämför prosatexter ur Lagerkvists tre tidiga samlingar Motiv (1914), Ångest (1916) och Kaos (1919) med centrala drag för den tyska expressionismen. Dessa omfattar nutidskänslan, fokuseringen på det subjektiva, verkligheten som mardröm och kritik mot det borgerliga. Andra motiv som behandlas är de groteska inslagen, vitalismen, sinnessjukdomen, Fader-Son-konflikten och kriget.

Problems of requirements which are identified in the earlier phase of a software development project can deeply affect the success of the project. Thus studies which aim to decrease these problems are crucial. Automation is foreseen to be one of the possible solutions for decreasing or removing some of the problems originating from requirements. This study focuses on the development and implementation of an automated tool that will generate requirements in natural language from business process models. In this study, The benefits of the tool are discussed, and the tool is compared with other software requirement s related tools with respect to their functionality. The developed tool has been tested within a large military project and the results of using the tool are presented.

Detta kandidatarbete är en undersökning av begreppet emergence och hur det kan användas i skapandet av digital interaktiv konst. Vi undersöker sambandet mellan designern och datorn, och hur användaren kan interagera med båda dessa för att bidra till och utforma skapandet.   För att demonstrera detta har vi skapat en simulation, som är tänkt att efterlikna tidigt mänskligt beteende på hög nivå: uppståndelsen av civilizationer, interaktion mellan folkgrupper, och utnyttjande av naturliga resurser. Vi diskuterar de etiska och politiska konsekvenserna som följer på skapandet av en sådan simulation, och vilken sorts interaktion vi främjar i vår design.

I den prehospitala vårdkedjan är ambulansen en viktig del. Det är ambulansens uppgift att identifiera och åtgärda vårdbehov hos den hjälpsökande. Detta görs utifrån en larmoperatörs bedömning, och efter detta med hjälp av given prioriteringsgrad ta sig till patienten på ett så trafiksäkert sätt som möjligt till patienten, för att inleda ett vårdande möte. De allvarligaste patienttillstånd är det som bedöms vara prioritet 1 av larmoperatör och är den typ av larm som har högst potential att påverkan ambulanssjuksköterskan på ett negativt sätt. Prioritet 1 larm är ett vardagligt fenomen för ambulanssjuksköterskan som utgör en källa till stress. Forskning om ambulanssjuksköterskans erfarenheter kring prioritet 1 saknas. Därför är studiens syfte att undersöka ambulanssjuksköterskans erfarenheter av att erhålla och genomföra prioritet 1 larm. En kvalitativ intervjustudie med en tematisk innehållsanalys genomfördes. Nio ambulanssjuksköterskor med erfarenhet från yrket rekryterades. Utifrån informanternas erfarenhet framträdde resultatet till två teman med fem subteman vardera. Temana var kontroll och kaos. Författarna identifierade fem subteman som tillsammans utgjorde stommen till upplevelsen av kontroll. Även fem subteman påvisades som källor till upplevelse av kaos. Upplevelsen av kontroll framkom som en viktig komponent för att motverka stress och hantera en oförutsägbar miljö. Kontroll är en viktig beståndsdel för ett vårdande som är hållbart över tid. Åtgärder som kan ligga till grund för kontroll, och i förlängningen ett hållbart vårdande över tid, är utbildningar och strukturerade arbetssätt.

In Ukraine 2014 the world saw a new type of war develop on the Crimean Peninsula. But what took place was not an open conflict between military forces on the battlefield and on the waves. Instead, it was a combination of covert operations by Russian special forces, organized crime groups from both Russia and Ukraine and the instigation of local ethnic groups. This study is focused on the use of civilian individuals and organizations to achieve a higher military goal in this conflict. This is to increase the understanding of what methods that were used in the Russo-Ukrainian war where connections between the military and the civilian in this conflict is blurred. The study finds that many methods that use civilians for a higher military purpose can be found in the conflict that could be used elsewhere with similar conditions. It also finds a rudimentary schematic for when and in what order these methods were used for successfully achieving their goals. It also finds a new scientific gap where future research could go to further understand and predict how these methods could be used in our future.

Det sägs att Sverige är världens mest sekulariserade land, ett påstående som kan diskuteras och som väcker frågor kring vad som går förlorat nar vi lämnar religionen bakom oss. Även om allt färre är religiosa i ordets mer traditionella bemärkelse, finns det ett stort behov av att hålla ceremonier. Uppkomsten av spirituella fenomen i vår samtid hintar om en längtan efter något slags återsakralisering. Genom att bearbeta den universella betydelsen av troskeln, placerad mitt emellan kaos och kosmos, har projektets huvudsyfte varit att skapa en ceremoniell byggnad och en askspridnings­plats som verkar bortom konfessionella gränser. Ambitionen är att projektet ska bidra med tyngd, stämning och värdighet, kvaliteter som ofta går forlorade när ceremonier flyttar ut ur det religiosa rummet. Byggnademas arkitektoniska laddning består av illusioner, sekvenser och symboler. Tre teman som kombinerats med mer traditionella, men bearbetade arkitektoniska kvaliteter i sakrala rum for att skapa relevans i vår sekulariserade värld. För att avgränsa ämnet har byggnaderna utformats med fokus på ceremonier for avsked.

Känner mig begränsad i staden som jag upplever som stel och låst. Drömmer om en annan verklighet. En stad där alla sorters människor får ta plats. Med ett stadsrum som är varierad och föränderlig, där olikheter lyfts fram istället för att motarbetas. I mitt arbete undersöker jag ett alternativt sätt att leva, verka och bo. Med en önskan om en stad som är mer hållbar och enhetlig än den vi lever i för tillfället. En ingång till detta har jag funnit i platån (kapitlet) om de räfflade och släta rummen ur boken "tusen platåer" av Gilles Deleuze och Felix Guattari. I boken utvecklar de koncepten om det räfflade och släta rummet. Detta beskriver de i relation till en rad olika modeller såsom teknologi, musik, sjöfart, matematisk mm. Det räfflade rummet kan förenklas till ordning och det släta rummet till kaos. Med detta som grund så blir det lättare att analysera stadsrummet och se de olika strukturerna som ligger till grund för hur vi bor, lever och verkar. För att få förståelsen för hur vi tar respektive ger makt. Genom arbetet har jag upptäckt ett värde där både det räfflade och släta rummet får ta lika mycket plats. Där vi inte delas upp beroende på vår grupptillhörighet. Där vi inte förenklar för att kunna kategorisera och dela upp i grupper. Utan där vi istället låter alltings kopplingar vara likt ett rhizom. Där staden blir som en självreparerande levande organism. Istället för en maskin som om och om igen går sönder och måste repareras. Med detta som grund så kommer jag att bygga upp en början till en stad. En stad som förhåller sig till platsen, materialet och kroppen. Där byggande och ritande går hand i hand. Där kaos och ordning får ta lika mycket plats. För att få en stad av föränderlighet och att visa på alltings förgänglighet. Där fysiska och mentala delar växer ut och in i varandra likt ett rhizom. Staden kommer att bestå av en bostadslåda och en konversationslåda, som visar struktur och ordning. Och runt det hela kommer det bli som en byggarbetsplats, som visar på kaoset och dess föränderlighet.

Avec la plupart des méthodes formelles, un premier modèle peut être raffiné formellement en plusieurs étapes, jusqu'à ce que le raffinement final contienne assez de détails pour une implémentation. Ce premier modèle est généralement construit à partir de la description des besoins obtenue dans la phase d'analyse des exigences. Cette transition de la phase des exigences à la phase de spécification formelle est l'une des étapes les plus délicates dans la chaîne de développement formel. En fait, la construction de ce modèle initial exige un niveau élevé de compétence et beaucoup de pratique, d'autant qu'il n'existe pas de processus bien défini pour aider les concepteurs. Parallèlement à ce problème, il s'avère également que les exigences non-fonctionnelles sont largement marginalisées dans le processus de développement logiciel. Les pratiques industrielles actuelles consistent généralement à spécifier seulement les exigences fonctionnelles durant les premières phases de ce processus et à laisser la prise en compte des exigences non-fonctionnelles au niveau de l'implémentation. Pour surmonter ces problèmes, la thèse vise à définir un couplage entre un modèle d'exigences exprimé en SysML/KAOS et des spécifications formelles abstraites, tout en garantissant une distinction entre les exigences fonctionnelles et non-fonctionnelles dès la phase d'analyse des exigences. Pour cela, la thèse propose tout d'abord deux approches différentes (l'une dédiée au B classique et l'autre à Event-B) dans lesquelles des modèles formels abstraits sont construits progressivement à partir du modèle de buts fonctionnels SysML/KAOS. La thèse se focalise par la suite sur l'approche dédiée à Event-B afin de la compléter et l'enrichir en se servant de deux autres modèles SysML/KAOS qui décrivent les buts non-fonctionnels et leurs impacts sur les buts fonctionnels. Nous présentons différentes manières permettant d'injecter ces buts non-fonctionnels et leurs impacts dans les modèles abstraits Event-B déjà obtenus. Des liens de correspondance entre les buts non-fonctionnels et les différents éléments Event-B sont également établis afin de faciliter la gestion de l'évolution de ces buts. Les différentes approches proposées dans cette thèse ont été appliquées pour la spécification du composant de localisation qui est une partie critique d'un système de transport terrestre. L'approche dédiée à Event-B est implémentée dans l'outil SysKAOS2EventB, permettant ainsi de générer une architecture de raffinement Event-B à partir d'un modèle de buts fonctionnels SysML/KAOS. Cette mise en œuvre s'appuie principalement sur les technologies de transformation de modèles à modèles / With most of formal methods, an initial formal model can be refined in multiple steps, until the final refinement contains enough details for an implementation. Most of the time, this initial model is built from the description obtained by the requirements analysis. Unfortunately, this transition from the requirements phase to the formal specification phase is one of the most painful steps in the formal development chain. In fact, building this initial model requires a high level of competence and a lot of practice, especially as there is no well-defined process to assist designers. Parallel to this problem, it appears that non-functional requirements are largely marginalized in the software development process. The current industrial practices consist generally in specifying only functional requirements during the first levels of this process and in leaving the consideration of non-functional requirements in the implementation level. To overcome these problems, this thesis aims to define a coupling between a requirement model expressed in SysML/KAOS and an abstract formal specification, while ensuring a distinction between functional and non-functional requirements from the requirements analysis phase. For that purpose, this thesis proposes firstly two different approaches (one dedicated to the classical B and the other to Event-B) in which abstract formal models are built incrementally from the SysML/KAOS functional goal model. Afterwards, the thesis focuses on the approach dedicated to Event-B in order to complete it and enrich it by using the two other SysML/KAOS models describing the non-functional goals and their impact on functional goals. We present different ways to inject these non-functional goals and their impact into the obtained abstract Event-B models. Links of correspondance between the non-functional goals and the different Event-B elements are also defined in order to improve the management of the evolution of these goals. The different approaches proposed in this thesis have been applied to the specification of a localization component which is a critical part of a land transportation system. The approach dedicated to Event-B is implemented in the SysKAOS2EventB tool, allowing hence the generation of an Event-B refinement architecture from a SysML/KAOS functional goal model. This implementation is mainly based on the model-to-model transformation technologies