Browsing Department of Computer Science and Engineering / Institutionen för data- och informationsteknik by Title
Now showing items 1-20 of 541
-
A Case Study of a 3D Space-Shooter Game - ULMO the Star Explorer
(2015-06-25)This Bachelor’s thesis treats the development of ULMO the Star Explorer, a graphically intensive space-shooter game set in three dimensions, which is developed using the framework Microsoft XNA. The project was carried ... -
A case study on Software Testing Methods and Tools
(2012-04-13)This paper presents the findings and analysis done on a case study conducted at Volvo Technology (VTEC, Göteborg, Sweden) for studying the software testing and verification methods, tools and practices used in automobile ... -
A Comparative Analysis of Dynamic Software Update Methods in regard to Safety-critical Systems
(2017-09-18)Software is an ever evolving product that is updated to extend the functionality and to reduce bugs within a system. Many systems are required to maintain a high availability to provide their services. Dynamic software ... -
A Comparative Case Study on Tools for Internal Software Quality Measures
(2019-11-12)Internal software quality is measured using quality metrics, which are implemented in static software analysis tools. There is no current research on which tool is the best suited to improve internal software quality, ... -
A comprehensive literature review on the effects of personality and expertise on pair programming, with the purpose to lay a foundation for how to configure pairs
(2015-07-20)The purpose of this study is to suggest a method to support decision-makers in the configuration of optimal pairs, in order to increase pair programming effectiveness. To achieve this, findings of empirical studies ... -
A Decentralized Voting System
(2020-10-30)The target of the project "A Decentralized Voting System" is to investigate whether recent developments in distributed systems can make a decentralized voting system capable of replacing the current systems in place. The ... -
A Decision Framework on Refactoring Architectural Technical Debt: Paying Back in Modularity- An Industrial Case Study
(2016-02-19)Technical debt refers to sub-optimal solutions during software development where there is a trade-o between short-term and long-term goals. Lately there has been a few studies which identi es technical debt, however ... -
A design research exploration of Near Field Communication technology - Building and evaluating an NFC-ticket prototype extending an existing system
(2012-08-06)There are several indicators suggesting that Near Field Communication (NFC) is about to have a major breakthrough in the market. In this paper we explore the feasibility of implementing an NFC event ticketing system and ... -
A Design Science Study on Methods of Feedback for In-car Gesture-controlled Infotainment Systems
(2019-11-12)Navigating an in-car infotainment system by using gesture-control can be distracting, drivers usually seek for confirmation from the infotainment system by rapidly glancing at the screen and therefore reduce the eyes-on-the-road ... -
A design study on the migration of an on-premise software application to the cloud
(2019-11-12)This research paper aims to highlight two things; the difference in development time when migrating an on-premise application to the cloud with two different migration strategies and the performance of the application after ... -
A Distributed Key-Value Store Implementation and evaluation of two strategies for lookup in distributed databases
(2014-10-02)This report describes the design, implementation and testing of a database; more speci - cally, a distributed, scalable key-value store able to handle many concurrent queries. A central issue when building this type of ... -
A DSL Supporting Textual and Graphical Views
(2015-08-12)Domain Specific Languages(DSLs) are languages that are designed to be used in a particular development area. These languages aim to help developers solve the problems related to that domain and therefore contain information ... -
A Framework for Applying an API-layered Architecture to e3value Models
(2019-11-12)In this design science study three different layering options were created to find out which types of layering can improve modeled API ecosystems’ understandability and clarity. Two guides were also created to show how ... -
A Framework for Guidance of API Governance: A Design Science Approach
(2019-11-12)Application Programming Interface (APIs) provide access to business assets such as data and services. Decisions associated with the implementation of new APIs or change to existing ones may lead to substantial implications ... -
A Front-End for Daison
(2021-09-07)Daison is a database written in the functional programming language Haskell. It has no built-in visual representation of data and using it in an interactive Haskell environment such as GHCi is inconvenient since it ... -
A general peer-to-peer based distributed computation network
(2014-09-23)We consider how a decentralised computation system would work when each participant could create computation code as well as executing other participants’ code. A protocol is proposed that allows such collaboration to ... -
A Language For Board Games
(2021-09-07)This thesis covers the process and theory behind creating a domain-specific language for board games. This language is specifically made for positional board games and allows for further implementation of games in that ... -
A Lazy to Strict Language Compiler
(2017-06-21)The evaluation strategies of programming languages can be broadly categorised as strict or lazy. A common approach to strict evaluation is to implement a call-by-value semantics that always evaluates expressions when ... -
A literature review exploring challenges and solutions when implementing agile
(2012-08-06)While agile methodology provided a lot of benefits to companies who adapted agility as their development process, many other companies faced challenges in implementing agile on the team level or on the organization ... -
A Logical Relation for Dependent Type Theory Formalized in Agda
(2017-02-27)When writing proofs, it is desirable to show that one’s proof is correct. With formalising a proof in dependent type theory, it is implied that the proof is correct as long as the type theory is correct. <br><br> This ...