Context. Software product planning involves product lifecycle management, roadmapping, release planning and requirements engineering. Requirements are collected and used together with criteria to define short-term plans, release plans and long-term plans, roadmaps. The different stages of the product lifecycle determine whether a product is mainly evolved, extended, or simply maintained. When eliciting requirements and identifying criteria for software product planning, the product manager is confronted with statements about customer interests that do not correspond to their needs. Analytics summarize, filter, and transform measurements to obtain insights about what happened, how it happened, and why it happened. Analytics have been used for improving usability of software solutions, monitoring reliability of networks and for performance engineering. However, the concept of using analytics to determine the evolution of a software solution is unexplored. In a context where a misunderstanding of users’ need can easily lead the effective product design to failure, the support of analytics for software product planning can contribute to fostering the realization of which features of the product are useful for the users or customers. Objective. In observation of a lack of primary studies, the first step is to apply analytics of software product planning concept in the evolution of software solutions by having an understanding of the product usage measurement. For this reason, this research aims to understand relevant analytics of users’ interaction with SaaS applications. In addition, to identify an effective way to collect right analytics and measure feature usage with respect to page-based analytics and feature-based analytics to provide decision-support for software product planning. Methods. This research combines a literature review of the state-of-the-art to understand the research gap, related works and to find out relevant analytics for software product planning. A market research is conducted to compare the features of different analytics tools to identify an effective way to collect relevant analytics. Hence, a prototype analytics tool is developed to explore the way of measuring feature usage of a SaaS website to provide decision-support for software product planning. Finally, a software simulation is performed to understand the impact of page clutter, erroneous page presentation and feature spread with respect to page-based analytics and feature-based analytics. Results. The literature review reveals the studies which describe the related work on relevant categories of software analytics that are important for measuring software usage. A software-supported approach, developed from the feature comparison results of different analytics tools, ensures an effective way of collecting analytics for product planners. Moreover, the study results can be used to understand the impact of page clutter, erroneous page representation and feature spread with respect to page-based analytics and feature-based analytics. The study reveals that the page clutter, erroneous page presentation and feature spread exaggerate feature usage measurement with the page-based analytics, but not with the feature-based analytics. Conclusions. The research provided a wide set of evidence fostering the understanding of relevant analytics for software product planning. The results revealed the way of measuring the feature usage to SaaS product managers. Furthermore, feature usage measurement of SaaS websites can be recognized, which helps product managers to understand the impact of page clutter, erroneous page presentation and feature spread between page-based and feature-based analytics. Further case study can be performed to evaluate the solution proposals by tailoring the company needs. / +46739480254

Single-page applications have historically been subject to strong market forces driving fast development and deployment in lieu of quality control and changeable code, which are important factors for maintainability. In this report we develop two functionally equivalent applications using AngularJS and React and compare their maintainability as defined by ISO/IEC 9126. AngularJS and React represent two distinct approaches to web development, with AngularJS being a general framework providing rich base functionality and React a small specialized library for efficient view rendering. The quality comparison was accomplished by calculating Maintainability Index for each application. Version control analysis was used to determine quality indicators during development and subsequent maintenance where new functionality was added in two steps.   The results show no major differences in maintainability in the initial applications. As more functionality is added the Maintainability Index decreases faster in the AngularJS application, indicating a steeper increase in complexity compared to the React application. Source code analysis reveals that changes in data flow requires significantly larger modifications of the AngularJS application due to its inherent architecture for data flow. We conclude that frameworks are useful when they facilitate development of known requirements but less so when applications and systems grow in size. / Ensidesapplikationer har historiskt sett påverkats av starka marknadskrafter som pådriver snabba utvecklingscykler och leve­rans­er. Detta medför att kvalitetskontroll och förändringsbar kod, som är viktiga fak­torer för förvaltningsbarhet, blir lidande. I denna rapport utvecklar vi två funktionellt ekvi­val­enta ensidesapplikationer med AngularJS och React samt jämför dessa applikationers för­valtningsbarhet enligt ISO/IEC 9126. AngularJS och React representerar två distinkta angreppsätt på webbutveckling, där AngularJS är ett ramverk med mycket färdig funk­tional­itet och React ett mindre bibliotek specialiserat på vyrendering. Kvalitets­jämförelsen utfördes genom att beräkna förvaltningsbarhetsindex för resp­ek­tive applikation. Ver­sions­­hanteringsanalys användes för att bestämma andra kvalitets­indi­kat­orer efter den initiala utvecklingen samt två efter­följande underhållsarbeten.   Resultaten visar inga markanta skillnader i förvaltningsbarhet för de initiala applikationerna. I takt med att mer funktionalitet lades till sjönk förvaltnings­barhetsindex snabbare för AngularJS-applikationen, vilket motsvarar en kraft­igare ökning i komplexitet jämfört med React-applikationen. Versions­hanteringsanalys visar att ändringar i dataflödet kräver större mod­ifika­tioner för AngularJS-applikationen på grund av dess förbestämda arki­tek­tur. Utifrån detta drar vi slutsatsen att ramverk är användbara när de under­stödjer utvecklingen mot kända krav men att deras nytta blir begränsad ju mer en applikation växer i storlek.

There is a need of storing and keeping track of things. As the amount of information increases, so does the demand for suitable applications that can manage the data. This thesis has had its focus on developing a web administration interface for relational databases, where the focus has been on managing and visualizing the data, where relationships between data within the database could be predicted through an algorithm. During the thesis, it was revealed that administrators can utilize naming conventions for databases, a property which can be used to predict its relationships. Furthermore, existing applications for managing databases has been compared with the thesis' implementation. Notable differences are that existing solutions are focused towards the structure of the data, rather than the data itself. To accomplish all this, an agile method was chosen for fast results within the deadline, together with standardized web development tools and JavaScript frameworks. The resulting implementation consists of a front- and backend. The frontend was developed using the Ember.JS framework for making web applications and the backend was implemented using Node.JS, together with a component for handling different database dialects called Sequelize. It has been concluded that the prototype this thesis has resulted in works as a proof of concept, complete with a prediction algorithm that can suggest relationships within databases that utilizes convenient and consistent naming conventions. In the future, further research and tests could be conducted to evaluate the security, reliability and usability of the application, to ensure its production quality.

This is a report on the development and implementation of the web shop “Urballa Ur”, a web application developed by nine students at Linköping university. The report illustrates the methodology and process with intention to answer the question “How can an online watch store be implemented to increase sales?”. During the process the agile method scrum has been used as a working method. A survey and a market plan was created and the results were used as a foundation for the backlog and implementation process. Additionally, a thorough theoretical study was conducted to found the report in academic research. The results of the study is discussed and the conclusion shows that, by creating a thorough backlog and a solid theoretical background, it is possible to develop a web shop with the requirements to answer the question.

Web applications are getting more and more complicated with the extensive growth of the Internet. In order to cope with user demands, that are constantly increasing, a specialattention should be paid to performance optimizations. While a lot of attention is devoted to back-end optimization, front-end is often overlooked and therefore is a fertileground for performance bottlenecks. This thesis is destined to investigate a set of well-established front-end optimization techniques in order to find out those, that are the most efficient. The thesis primarily focuses on an examination of a limited set of techniques, that can be applied to static web resources. Some of the techniques are: resources consolidation, minification, compression and caching. The measurements used during the examination are based on four metrics, such as the Page Size, the Page Load Time, the Page Start Render Time and the Number of Requests the page made. The results show which methods impact performance most. In particular, the results revealed, that the resource compression technique alone brings significant performance improvements, the page size was reduced by 79% and the page load time by 72%, respectively. Despite that, it is evident that the best results can be achieved by a combination of different techniques. All optimization techniques combined made a serious difference, helping us reduce the page load time from 24 seconds down to just one second.

Philosophiae Doctor - PhD / One of the most common HIV-associated opportunistic infections is candidiasis, caused by Candida albicans or other Candida species. In immune suppressed subjects, this commensal organism can cause an increase in patient morbidity and mortality due to oropharyngeal or systemic dissemination. Limited information exists on the prevalence and antifungal susceptibility of Candida species in the African continent, the most HIV-affected region globally and home to new and emerging drug resistant Candida species. The mechanisms of Candida drug resistance in the African continent have also not been described. In this study, 255 Candida species isolated from the oral mucosa of HIV-positive South African and Cameroonian patients were identified using differential and chromogenic media and their drug susceptibility profiles tested using the disk diffusion method and the TREK Sensititre system, an automated broth microdilution method. Candida cell wall fractions were run on SDSPAGE and HPLC-MS with the aim of identifying peptides specifically expressed by antifungal drug resistant isolates. Comparisons between the two groups of isolates revealed differences in Candida species prevalence and drug susceptibility with interesting associations observed between specific drug resistance and duration of ARV therapy. This study showed that fluconazole, the drug of choice for the treatment of candidiasis in the African continent, is not an effective therapy for most cases of Candida infection, and suggests that regional surveillance be implemented in the continent. A multiple-drug resistant Candida strain was identified in this study, a finding that has not previously been documented. The use of proteomics tools allowed for the identification of peptides involved in drug resistance and the elucidation of Candida colonization mechanisms in HIV-infected African patients.

MVC architecture is one of the most known and used architecture for application development, for both web and desktop based application. New architecture evolved though thanks to the fast-growing industry and it brings new practices that are much more convenient to use. The main goal of this theses is to describe how Redux library, which is based on this new architecture, is used for application development. Redux is only a state management library, another library is needed for creating the user interface. It is possible to create the user interface from the scratch but it takes a lot of time and it is difficult to scale. React library is possibly the most favorite library for creating UI and it works well together with Redux. For these reasons, React was selected as the UI library that will be used in this thesis. While theoretical part of this thesis is focused on describing principles Redux and React libraries are based upon and the best practices for using these libraries, practical part is focused on using the theoretical knowledge in the real world, demonstrated on the web application for invoicing. Development of the invoicing system is described in a way that demonstrates to the reader how to approach web application development, what does it contain and where to start.

Un hyperviseur est un logiciel qui virtualise les ressources d'une machine physique pour permettre à plusieurs systèmes d'exploitation invités de s'exécuter simultanément dessus. L'hyperviseur étant le gestionnaire des ressources, un bug peut être critique pour les systèmes invités. Dans cette thèse nous nous intéressons aux propriétés d'isolation de la mémoire d'un hyperviseur de type 1, qui virtualise la mémoire en utilisant des Shadow Page Tables. Plus précisément, nous présentons un modèle concret et un modèle abstrait de l'hyperviseur, et nous prouvons formellement que les systèmes d'exploitation invités ne peuvent pas altérer ou accéder aux données privées des autres s'ils n'en ont pas la permission. Nous utilisons le langage et l'assistant de preuve développés par Prove & Run pour ce faire. Le modèle concret comporte beaucoup d'optimisations, qui rendent les structures de données et les algorithmes complexes, il est donc difficile de raisonner dessus. C'est pourquoi nous construisons un modèle abstrait dans lequel il est plus facile de raisonner. Nous prouvons les propriétés sur le modèle abstrait, et nous prouvons formellement sa correspondance avec le modèle concret, de telle manière que les preuves sur le modèle abstrait s'appliquent au modèle concret. La preuve correspondance n'est valable que pour des états concrets qui respectent certaines propriétés, nous prouvons que ces propriétés sont des invariants du système concret. La preuve s'articule donc en trois phases : la preuve d'invariants au niveau concret, la preuve de correspondance entre les modèles abstraits et concret, et la preuve des propriétés de sécurité au niveau abstrait. / A hypervisor is a software which virtualizes hardware resources, allowing several guest operating systems to run simultaneously on the same machine. Since the hypervisor manages the access to resources, a bug can be critical for the guest Oses. In this thesis, we focus on memory isolation properties of a type 1 hypervisor, which virtualizes memory using Shadow Page Tables. More precisely, we present a low-level and a high-level model of the hypervisor, and we formally prove that guest OSes cannot access or tamper with private data of other guests, unless they have the authorization to do so. We use the language and the proof assistant developed by Prove & Run. There are many optimizations in the low-level model, which makes the data structures and algorithms complexes. It is therefore difficult to reason on such a model. To circumvent this issue, we design an abstract model in which it is easier to reason. We prove properties on the abstract model, and we prove its correspondence with the low-level model, in such a way that properties proved on the abstract model also hold for the low-level model. The correspondence proof is valid only for low-level states which respect some properties. We prove that these properties are invariants of the low-level system. The proof can be divided into three parts : the proof of invariants preservation on the low-level, the proof of correspondence between abstract and low-level models, and proof of the security properties on the abstract level.

This diploma thesis deals with development of web applications using Google web Toolkit. GWT is modern set of open source tools that allows developers to create Rich Internet Applications completely in Java without any deep knowledge of JavaScript. The theoretical part of this thesis is focused on architecture of Google Web Toolkit, basic approaches and some advanced topics as MVP architecture, client-server communication or persistence layer. The practical part consists of set of examples which demonstrates approaches described in theoretical part.

A topic of my thesis is gamification and fantasy games. The main goal of this research was analyzing the situation in Czech Republic and finding out if fantasy games have an influence on a reading of sport servers. In theory part of this project, gamification and fantasy games are clearly defined. The biggest gamification projects in the world are introduced, as well as the trials of gamification in Czech Republic and a chosen game from abroad. In practical part, the situation on Czech Republic's fantasy games market is analyzed, the two biggest representatives are compared and an influence on reading of sport servers is researched.