Cette thèse présente Rejo un nouveau langage de haut niveau pour programmer des systèmes réactifs. Rejo, de l'anglais REactive Java Objets, est une extension 'a Java qui permet de définir des objets réactifs, c'est-à-dire des objets qui encapsulent des données et des mélangés d'instructions Java et d'instructions réactives. Le modèle d'exécution est celui de l'approche réactive synchrone, dans lequel les instructions Java sont exécutées d'une façon atomique. Le compilateur de Rejo génère du code 100% Java où les instructions réactives sont implémentées avec la librairie Junior. L'influence de Junior sur Rejo est très importante, et les performances, les avantages et les inconvénients de Rejo d'écoulent du modelé et du moteur d'exécution de Junior. Une 'étude approfondie de la programmation et des différentes implémentations de Junior est réalisée. Les objets réactifs de Rejo peuvent être considères comme des agents mobiles car ils ont la capacité de migrer en utilisant une plate-forme, appelée ROS, qui offre les fonctionnalités nécessaires. ROS, de l'anglais Reactive Operating System, est un Système d'Agents Mobiles qui ressemble à un système d'exploitation car il est constitue d'un micro-noyau modulaire et d'un ensemble des services autour desquels on trouve une interface graphique (les Ricobjs), un shell (Rsh) et une interface de programmation.

De nombreux outils ont été développés pour faire évoluer au cours du temps une application et/ou sa plate-forme d'exécution en fonction de l'apparition de nouveaux besoins. Dans le cadre de Java, ils se présentent souvent sous la forme de nouveaux compilateurs manipulant un langage Java enrichi, de chargeurs de classes évolués qui modifient le code compilé de l'application afin d'ajouter à celle-ci de nouvelles propriétés, ou encore de machines virtuelles spécialisées. Cependant ces différents outils sont diffcilement combinables entre eux et/ou réutilisables en dehors de leur contexte. C'est pourquoi nous proposons, dans le cadre de Java, une machine virtuelle ouverte et entièrement écrite en Java pour conserver la portabilité, capable d'évoluer au cours du temps. Elle dispose d'une architecture à composants qui s'inspire le plus fidèlement possible de la spécification de Sun Microsystems. Un composant de Corosol est une abstraction des unités fonctionnelles d'une machine virtuelle (comme le chargeur de classes ou les fils d'exécution), mais aussi des unités de stockage (comme le tas ou la pile d'exécution) et de tous les mécanismes internes liés à l'exécution (comme la résolution dynamique de méthodes). L'architecture de Corosol est décrite par des interfaces, qui spécifient les services des composants mais aussi comment ils s'intègrent dans Corosol et communiquent entre eux. Une implantation par défaut est fournie pour chaque composant. L'implantation de chaque composant peut être choisie avant le démarrage de Corosol par simple paramétrage. Cependant, l'originalité principale de notre machine virtuelle est une puissante interface d'introspection. Elle permet d'une part à l'application de consulter à tout instant les caractéristiques de sa plate-forme d'exécution afin de pouvoir s'y adapter. D'autre part, elle autorise l'application qui s'exécute à créer des composants pour la machine virtuelle à partir d'objets qui lui sont propres, et à changer les composants existants par les nouveaux, à n'importe quel moment. Notre travail a principalement consisté à définir et implanter cette interface d'introspection.

La vérification des programmes est indispensable pour maintenir un certain niveau de qualité et de fiabilité. Le test est à ce jour le moyen de vérification des logiciels le plus utilisé dans l¤industrie. La programmation par contraintes est vue comme un moyen efficace pour automatiser la génération de données de test. Dans cette thèse nous proposons une modélisation par contraintes de la sémantique du bytecode Java, ainsi qu¤une méthode, basée sur cette modélisation, pour générer automatiquement des données de test. Notre modèle à contraintes de la sémantique d¤un programme en bytecode Java permet de faire des déductions efficaces, y compris en présence de structures de données complexes ou d¤héritage. En particulier, l¤utilisation de variables de type permet de prendre en compte l¤héritage et les appels de méthodes polymorphes. Notre méthode de génération de données de test exploite le modèle à contraintes pour couvrir des instructions particulières du programme sous test. Elle se base sur un parcours en arrière du graphe de flot de contrôle pour énumérer des chemins menant aux instructions cibles. Elle est en particulier adaptée à la couverture d¤instructions non couvertes par les autres méthodes de génération de données de test. Enfin cette méthode est mise en application dans un prototype, JAUT (Java Automatic Unit Testing). Les expériences montrent que le prototype permet d¤augmenter la couverture des instructions obtenue avec les autres outils disponibles.

<p>På Linköpings universitet använder man sig sällan av versionshanteringssystem i kurser. Istället sparas till exempel programmeringslabbar på enskilda personers UNIX konton. Detta leder till problem både när man programmerar i grupp men också om någonting skulle gå snett. Labhandledaren har också mycket sämre vetskap om hur specifika gruppers arbeten framskrider och många grupper kan få hjälp för sent på grund av detta. Troligtvis kommer versionshanteringssystem användas mycket mer i framtiden.</p><p>Att läsa versionsloggar för att följa upp grupper är ett osmidigt och tidskrävande jobb och ger dålig överblick. Detta examensarbete beskriver ett verktyg till hjälp för labhandledaren i kurser där versionshanteringssystem används. Tillvägagångssättet och designen men även vilka problem som uppstod är fokus i rapporten.</p><p>Resultatet av examensarbetet är en webapplikation som visar statistik för alla labgrupper i en specifik kurs, både textuellt och grafiskt. Webapplikationen strävar efter att bete sig som en vanlig och lättanvänd skrivbordsapplikation. Detta verktyg ger labhandledaren bättre överblick över individernas arbete samtidigt som fusk kan komma att uppmärksammas.</p>

<p>The purpose with this work that is the basis for this thesis was to help Nattavaara Economical association to develop a program for handling invoices, customer information, and storage. The program and this thesis have been done in cooperation with the economical association in Nattavaara. </p><p>Some of the demands on the program are that it shall handle customer information, storage status, invoices and diesel consumption. The program must be able to printout invoices, reminders, delivery notes, a customer list and a storage list. All information will be stored in a database. </p><p>The program was implemented in the program language Java and with a MySQL database; since they both are platform independent and we have previous experience using them. </p><p>The program is window based and built around the usage of tabbed windows; there every tab represents an own functionality, this to create a foreseeable and easy navigated program. User friendliness is something that has been taken into consideration in the process of developing this program, among other things through grouping of adjacent information and the placement of buttons. One of the conclusions with this work is that Java can with advantage be used to create graphical interfaces with connections to databases. </p><p>Further development of the program could be for example to improve the quality of the printouts and the handling of the database initiation.</p>

<p>We are working on the development and design of an approach to agents that can reason, react to the environment and are able to update their own knowledge as a result of new incoming information. In the resulting framework, rational, reactive agents can dynamically change their own knowledge bases as well as their own goals. An agent can make observations, learn new facts and new rules from the environment, and then update its knowledge accordingly. The knowledge base of an agent and its updating mechanism has been implemented in Logic Programming. The agent’s framework is implemented in Java. </p><p>This aim of this thesis is to design and implement an architecture of a reactive, rational agent in both Java and Prolog and to test the interaction between the rational part and the reactive part of the agent. The agent architecture is called RR-agent and consists of six more or less components, four implemented in Java and the other two are implemented in XSB Prolog. </p><p>The result of this thesis is the ground for the paper “An architecture of a rational, reactive agent” by P. DellAcqua, M. Engberg, L.M. Pereira that has been submitted.</p>

<p>Denna rapport beskriver utvecklingsprocessen av ett bokningssystem till en frisersalong. Bokningssystemet ska användasför att boka tider för kunder och också underlätta administrationen för de anställda. I rapporten beskrivs arbetsprocessen steg för steg med kravspecifikation, designspecifikation, gränssnitt och till sist resultat. </p><p>Bokningssystemet täckte alla grundläggande krav som kunden hade. En förbättring vore att i utvecklingen av gränssnittet mer noggrant analysera användarens krav ur ett användbarhetsperspektiv. På så sätt skulle en del problem i användbarheten av systemet identifieras tidigare. </p><p>Examensarbetet ledde fram till ett bokningssystem till en frisersalong som används dagligen för att sköta arbetet med bokningar av kunder. Systemet utvecklades i Java och använder databashanteraren MySQL.</p>

<p>Vi har utvecklat två fristående webbapplikationer till det webbaserade</p><p>hälsovårdsstödsystemet Asynja. Den ena är en designapplikation</p><p>för enkätundersökningar och den andra är en svarsapplikation där respondenterna</p><p>kan besvara enkäterna.</p><p>Utvecklingsprocessen har bestått av planering, design, implementation,</p><p>testning och dokumentation. Mycket av arbetet har skett parallellt</p><p>vilket vi har sett som en framgångsfaktor i examensarbetet.</p><p>Projektet har präglats av att applikationerna ska vara användarvänliga</p><p>och funktionella samtidigt som designen och koden ska göra att</p><p>applikationerna kan vidareutvecklas och underhållas effektivt.</p><p>Arbetet med att utveckla J2EE-applikationer och använda sig av ramverket</p><p>Struts har gett goda erfarenheter och det har även visat sig att</p><p>denna plattform är väl lämpad för denna typ av uppgifter.</p>

<p>AnSyn AB är ett företag i Linköping som utvecklar programvara för att optimera analog elektronik. I deras program Analog Dimensions finns en visualiseringsmodul som ritar upp de kopplingsscheman som elektronikkonstruktören arbetar med. Ansyn var inte nöjda med den lösningen de hade. Den gamla visualiseringsmodulen hade flera begränsningar och i denna rapport kan du följa arbetet med att ta fram en ny visualiseringsmodul. Arbetet resulterade i en helt ny visualiseringsmodul som saknar de begränsningar som den gamla visualiseringsmodulen hade. Visualiseringsmodulen är helt skriven i Java och använder sig av ett grafikbibliotek vid namn Netbeans Visual Library. Det är ett bibliotek med öppen källkod som bland annat kan användas för visualisering av vektorgrafik. Rapporten innehåller även en undersökning av programbibliotek för Java som hanterar vektorgrafik. I undersökningen studerades totalt 15 olika bibliotek.</p>

<p>Uppsatsen behandlar systemutvecklingsprocessen med fokusering på utvecklingsarbete och utvärdering. Syftet med uppsatsen har varit att genomföra ett systemutvecklingsarbete. För att uppnå det har två förstaversioner av en Java-applikation utvecklats. De två applikationerna jämförs och utvärderas sedan för att ge ett svar på vilken som bäst lämpar sig för vidareutveckling.</p><p>Ett annat syfte med arbetet har varit att utveckla mig själv och av den anledningen har jag valt att göra två applikationer på olika sätt. Då applikationerna hanterar sökning av böcker skrivna av Astrid Lindgren har ett delsyfte inneburit att sprida information om författarens böcker och göra det enklare att få information om dem.</p><p>Uppsatsen kan användas som ett praktiskt exempel på hur ett systemutvecklingsarbete kan gå till. Arbetet beskrivs främst utifrån rollen som utvecklare och utvärderare men jag har även varit beställare då jag gett uppdraget till mig själv. Av de två applikationerna som utvecklats körs klientapplikationen lokalt på datorn medan serverapplikationen ligger på en server där användaren kommer åt den genom en webbläsare.</p><p>Efter utvecklingen genomfördes en utvärdering som bestod av tre delar. Jag kontrollerade hur väl de krav som ställts upp innan utvecklingen tillgodosetts. Därtill genomfördes en egen testning och även acceptanstester med tänkta användare. Resultatet påvisade att applikationerna blev väldigt lika och hade ungefär samma förutsättningar för en vidareutveckling. Skillnaden ligger i hur användaren kommer åt applikationen. Min bedömning är att serverapplikationen är bäst lämpad för vidareutveckling då fler användare kommer åt den på ett enkelt sätt.</p>