Searched for: subject%3A%22Java%22
(1 - 12 of 12)
document
Roest, Vivian (author)
This paper examines the release practices of Java Maven Repositories on GitHub. Most prior research in this vein has been done on Maven Central, the largest Maven package repository. However, GitHub hosts 15.5 million Java repositories, and is left untapped. Additionally of interest is the fact that GitHub provides a competitor to Maven Central,...
bachelor thesis 2024
document
Bot, Gideon (author)
The Maven Central Repository hosts over 11 million packages. As Maven itself is a build tool for Java, the majority of these packages are Java archives.<br/>This research aims to analyze these packages and look into various build aspects of these projects (the research questions): are Java modules used, what Java versions are used and how is the...
bachelor thesis 2023
document
Thabet, Omar (author)
Traditional type-checking programs are typically designed for specific programming languages, re- sulting in complex and tightly coupled imperative implementations. One of the challenges faced by type checkers is ensuring consistent name-binding resolution in the presence of new names and sym- bols added to the environment. To address this issue...
bachelor thesis 2023
document
Zimmerhackl, Lukas (author)
Dependent programming languages such as Agda show a lot of promise in creating new ways of writing code, but currently suffer from a lack of support and features. In this paper we attempt to create a new back-end for Agda targeting Java which has a huge and thriving ecosystem.<br/><br/>We implement the new back-end for Agda in Haskell and we...
bachelor thesis 2022
document
Kluiters, Thomas (author), Overweel, Leon (author), Vos, Daniël (author), Vos, Jelle (author)
ING wants to offer their customers the best experience possible. To achieve this goal, ING’s Customer Journey Experts (CJEs) constantly map and analyze the way customers use ING services in a Customer Journey Map. These maps however, are hard to share and collaborate on. ING needs an online tool in which they can, together with multiple people,...
bachelor thesis 2018
document
Raateland, Wouter (author)
Null pointer dereferences in Java raise exceptions, occur often, are hard to debug and cost a lot of unnecessary effort and resources. Therefore, a lot of effort has been put in analyses spotting those null pointer dereferences. As developers rely on those analyses it is important that they are sound. However, proving null pointer analyses sound...
bachelor thesis 2018
document
Nikray, P. (author), Langezaal, M.D. (author)
In opdracht van het bedrijf 42 is er een nieuwe zoekfunctionaliteit ontwikkelt voor het systeem StamboomNederland, dit systeem is in opdracht van het Centraal Bureau voor Genealogie (CBG) ontwikkelt door 42. Het systeem bevat genealogische data voor het bijhouden van stambomen. De huidige zoekfunctionaliteit werkt echter niet naar behoren...
bachelor thesis 2014
document
Boduc, S. (author), Van Delft, L. (author), Van Leeuwen, S. (author)
De bestaande functionaliteit van de "Verzekerden Database", zoals dat voor de verzekerden administratie van de zorgverzekeraar DSW ter beschikking staat, op basis van een andere techniek realiseren; Java-agent en webservices.
bachelor thesis 2013
document
Van der Velden, J.S. (author), Breekveldt, T. (author)
Final report for the Schoolyard project, written in Dutch. Schoolyard was a project to develop a mobile, location based serious game for children in elementary school. This project was commissioned by TNO.
bachelor thesis 2012
document
Elisabeth, R. (author), Matroos, R. (author)
Het instituut DANS heeft als grootste doel het opslaan en beschikbaar stellen van onderzoeksgegevens. Sinds januari 2005 hebben zij een programma genaamd EASY in gebruik waarin dit soort gegevens als dataset worden opgeslagen en weer opgevraagd kunnen worden. Gebruikers kunnen zich voor deze service registreren en kunnen dan zelf hun eigen werk...
bachelor thesis 2009
document
Van den Haak, P. (author), Cheung, M. (author)
Major research efforts in Bioinformatics include sequence alignment, gene finding, genome assembly, protein structure alignment, protein structure prediction, prediction of gene expression and protein-protein interactions, and the modeling of evolution. To perform these specific tasks different tools are used. Using these tools separately is a...
bachelor thesis 2008
document
Geursen, A.A.J. (author), Shirokov, V.A. (author), Petrarca, D.A. (author)
In deze thesis wordt een conceptontwerp geboden voor een product, die gebruik maakt van super e-paper. Super e-paper is een snel type van elektronisch papier met hoge resolutie. Elektronisch papier is een buigzaam beeldscherm, zonder backlighting, die alleen energie nodig heeft om het beeld te veranderen. Het beeld, eenmaal erop gezet, blijft...
bachelor thesis 2008
Searched for: subject%3A%22Java%22
(1 - 12 of 12)