Scripties/Masterproeven
- 36 resultaten
Zoekresultaten
-
An Automated Approach to Check Software Architecture Erosion
Hu, R. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1), Vinju, J. J. (Afstudeerdocent 2) & Schuts, M. T. W. (Externe coach), 1 sep. 2023Scriptie/Masterproef: Master
Bestand -
An Automated Approach to Classify Class Role Stereotypes for Detecting Design Flaws
Bilbas, A. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1), Bairampalli, S. (Externe coach) & Schuts, M. T. W. (Externe coach), 8 mrt. 2024Scriptie/Masterproef: Master
Bestand -
An exploration of methods for functional safety assessment of autonomous vehicles
Singh, T. S. (Auteur), Cleophas, L. G. W. A. (Afstudeerdocent 1) & Forrai, A. (Externe coach), 12 okt. 2021Scriptie/Masterproef: Master
Bestand -
Automatic validation of technical requirements for a BIM model using semantic web technologies: Description of a linked building data workflow using SHACL as checking mechanism to improve information exchanges between actors in the AEC industry
van den Bersselaar, E. (Auteur), de Vries, B. (Afstudeerdocent 1), Pauwels, P. (Afstudeerdocent 2), Chaudron, M. R. V. (Afstudeerdocent 2), van Thiel, B. J. A. (Externe coach) & Verhelst, L. B. (Externe coach), 30 aug. 2022Scriptie/Masterproef: Master
Bestand -
Characterizing Model Transformations Using Modal μ-calculus
Chaki, R. (Auteur), Wijs, A. (Afstudeerdocent 1), 13 okt. 2021Scriptie/Masterproef: Master
Bestand -
Classifying Java Classes Into Role Stereotypes Based on Their Behavior
Fung, K. Y. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1) & Rukmono, S. (Afstudeerdocent 2), 30 aug. 2023Scriptie/Masterproef: Master
Bestand -
Combining Dafny with Program Derivation
Sinx, R. D. (Auteur), Verhoeff, T. (Afstudeerdocent 1) & Huizing, C. (Afstudeerdocent 2), 10 mrt. 2023Scriptie/Masterproef: Master
Bestand -
Connected Object Data in Heritage Conservation: The Value in Natural Stone Restoration Projects
Janssen Steenberg, M. A. (Auteur), Donkers, A. J. A. (Afstudeerdocent 1), Pauwels, P. (Afstudeerdocent 2) & Chaudron, M. R. V. (Afstudeerdocent 2), 28 sep. 2023Scriptie/Masterproef: Master
Bestand -
Designing an Architecture for a Common Data Environment Supporting Digital Twins
Pop, C. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1) & Hamilton, M. A. M. (Externe coach), 21 sep. 2023Scriptie/Masterproef: Master
Bestand -
Detecting, Highlighting, and Removing Unintended Dependencies in Large Multi-lingual Software Systems
Groot, T. W. (Auteur), Krüger, J. (Afstudeerdocent 1), Ochoa Venegas, L. (Afstudeerdocent 2) & Lazar, B. (Externe coach), 27 sep. 2023Scriptie/Masterproef: Master
Bestand -
Diagnostic Ontology for Psychopathology (DOPsy): Towards a Deeper Understanding of Patient Diagnosis in Mental Healthcare
Chen, H. R. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1), Rijcken, E. (Afstudeerdocent 1) & Zervanou, K. (Afstudeerdocent 2), 5 dec. 2023Scriptie/Masterproef: Master
Bestand -
Extracting Architecture Knowledge from Software System Documentation to Create Knowledge Graph
Yang, L. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1) & Rukmono, S. (Afstudeerdocent 2), 27 nov. 2023Scriptie/Masterproef: Master
Bestand -
GPU Accelerated Filtering for Backbone Finding in Propositional Formulae
Verspeek, V. (Auteur), Wijs, A. J. (Afstudeerdocent 1) & Mahmoud, M. O. (Afstudeerdocent 2), 30 nov. 2023Scriptie/Masterproef: Master
Bestand -
GPUexplore support for symmetry reduction
Cheng, Y. (Auteur), Wijs, A. J. (Afstudeerdocent 1), 31 okt. 2022Scriptie/Masterproef: Master
-
How and Why Do Java Library APIs Evolve?
Nikolova, A. J. (Auteur), Krüger, J. (Afstudeerdocent 1) & Chaudron, M. R. V. (Afstudeerdocent 2), 16 aug. 2023Scriptie/Masterproef: Master
Bestand -
How does the quality of the source code of enterprises evolve?: A Data-driven Analysis of the Code Quality based on the TIOBE Software Quality Evaluation Service
Shi, M. (Auteur), Serebrenik, A. (Afstudeerdocent 1), Krüger, J. (Afstudeerdocent 2) & Jansen, P. (Externe coach), 6 okt. 2023Scriptie/Masterproef: Master
Bestand -
Improving the Java Code Generator Component of the SLCO Framework
van Nijnatten, M. (Auteur), Wijs, A. J. (Afstudeerdocent 1), Sciancalepore, S. (Afstudeerdocent 2) & Cleophas, L. G. W. A. (Afstudeerdocent 2), 16 dec. 2022Scriptie/Masterproef: Master
Bestand -
Improving usability of Failboxes with Transactional Memory
van der Heijden, J. Y. (Auteur), Wijs, A. J. (Afstudeerdocent 1), 13 jun. 2022Scriptie/Masterproef: Master
Bestand -
Investigating frameworks for integration and orchestration: a case study on a microbrewery digital twin
Lee, A. (Auteur), Cleophas, L. G. W. A. (Afstudeerdocent 1), 31 okt. 2022Scriptie/Masterproef: Master
Bestand -
Learning white-box: Applying machine learning to identify white-box related functions in binaries
Friptu, P.-Ş. (Auteur), Michiels, W. P. A. J. (Afstudeerdocent 1), Huizing, C. (Afstudeerdocent 2) & Bekkers, R. (Externe coach), 18 jul. 2023Scriptie/Masterproef: Master
Bestand -
LUNA: an Interactive Visualization of Javascript Software with Libraries
van Dijk, R. E. L. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1) & Constantinou, E. (Afstudeerdocent 2), 4 nov. 2022Scriptie/Masterproef: Master
Bestand -
Media deformation prediction informed by physics-based simulation
Driessen, T. (Auteur), Krüger, J. (Afstudeerdocent 1) & Cordero Cruz, J. A. (Externe coach), 23 nov. 2023Scriptie/Masterproef: Master
Bestand -
Model-Driven Development of Sheet Movement for Cut-Sheet Printers
Janin, A. (Auteur), Cleophas, L. G. W. A. (Afstudeerdocent 1), Kahraman, G. (Afstudeerdocent 2) & van Pinxten, J. H. H. (Externe coach), 16 mrt. 2023Scriptie/Masterproef: Master
Bestand -
Potential of automatic transformation tools in large company cases
Drugă, S. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1) & Radulescu, A. (Externe coach), 29 nov. 2023Scriptie/Masterproef: Master
Bestand -
Real-Time Conformance Checking for Microservice Applications
Andrade, R. (Auteur), Lukkien, J. J. (Afstudeerdocent 1), Åkesson, K. B. (Externe coach) & Krüger, J. (Afstudeerdocent 2), 29 feb. 2024Scriptie/Masterproef: Master
Bestand -
Risk-Driven Security Maturity Assessment in Organizations
van Rozendaal, R. M. (Auteur), Zannone, N. (Afstudeerdocent 1), Jansen, E. W. (Externe coach) & Cleophas, L. G. W. A. (Afstudeerdocent 2), 31 mrt. 2022Scriptie/Masterproef: Master
Bestand -
SAT Simplification for Multi-core CPU Platforms
Popescu, V.-A. (Auteur), Wijs, A. J. (Afstudeerdocent 1) & Osama, M. (Afstudeerdocent 2), 1 nov. 2021Scriptie/Masterproef: Master
Bestand -
Taxonomizing and Analyzing Change Impact in Language Oriented Programming
Houdijk, J. S. (Auteur), Cleophas, L. G. W. A. (Afstudeerdocent 1), 27 nov. 2023Scriptie/Masterproef: Master
Bestand -
The Concepts of Software Package Managers
Duan, C. (Auteur), Krüger, J. (Afstudeerdocent 1), 6 jun. 2024Scriptie/Masterproef: Master
Bestand -
Towards an Analysis of Productivity in Software Development
Coremans, B. (Auteur), Chaudron, M. R. V. (Afstudeerdocent 1), Verhoeff, T. (Afstudeerdocent 2) & Fahland, D. (Afstudeerdocent 2), 21 nov. 2022Scriptie/Masterproef: Master
Bestand -
Towards a visual layer for modelling autonomous systems in HKnowLang
Netto, P. B. (Auteur), Barosan, I. (Afstudeerdocent 1), Chaudron, M. R. V. (Afstudeerdocent 2) & Besselink, I. (Afstudeerdocent 2), 25 feb. 2022Scriptie/Masterproef: Master
Bestand -
Towards Digital Twins for soccer robots: a use case in reusing artifacts
Walravens, G. (Auteur), Cleophas, L. G. W. A. (Afstudeerdocent 1) & Muctadir, H. M. (Begeleider), 24 mrt. 2022Scriptie/Masterproef: Master
Bestand -
Towards Model Driven Engineering for Carriage Motion
van der Pol, A. F. (Auteur), Cleophas, L. G. W. A. (Afstudeerdocent 1), van Pinxten, J. H. H. (Externe coach) & Lind, J. (Externe coach), 30 sep. 2022Scriptie/Masterproef: Master
Bestand -
Verifying Programs Involving Self-Application Using Dafny
Remkes, P. (Auteur), Verhoeff, T. (Afstudeerdocent 1) & Huizing, C. (Afstudeerdocent 2), 10 nov. 2023Scriptie/Masterproef: Master
Bestand -
Visualization and Analysis of Microservice Architectures based on Distributed Tracing
Peters, J. (Auteur), van den Elzen, S. (Afstudeerdocent 1), Chaudron, M. R. V. (Afstudeerdocent 2) & Manolache, A.-M. (Externe coach), 19 dec. 2022Scriptie/Masterproef: Master
-
Visualizing Differences In Fork Ecosystems
Chen, S. (Auteur), Krüger, J. (Afstudeerdocent 1) & Cleophas, L. G. W. A. (Afstudeerdocent 2), 29 aug. 2023Scriptie/Masterproef: Master
Bestand