Analyse van een Veilige en Vlotte Doorvaart voor Rondvaartboten in Amsterdam Rapport in opdracht van Amsterdamse rederijen, verenigd in de VAR, de VEVAG en de Kooij-groep

Analyse van een Veilige en Vlotte Doorvaart voor Rondvaartboten in Amsterdam

A Constraint Language for Static Semantic Analysis Based on Scope Graphs with Proofs

A Constraint Language for Static Semantic Analysis based on Scope Graphs

DynSem: A DSL for Dynamic Semantics Specification

Language-Independent Type-Dependent Name Resolution

A Theory of Name Resolution with extended Coverage and Proofs

Energy prediction models of belt conveyor systems towards speed control - Modellen om energie besparing te voorspellen van bandtransporteurs door snelheidsvariatie

Unifying and Generalizing Relations in Role-Based Data Modeling and Navigation

Semantic versioning versus breaking changes: A study of the Maven Repository

Test Code Quality and Its Relation to Issue Handling Performance

Towards a catalog format for software metrics

Engine Health Monitoring Demonstrator based on GPA: A Gas Path Analysis GPA concept developed using the Gas turbine Simulation Program (GSP)

Large scale embankment breach experiments in flume

Understanding software through linguistic abstraction

Assessment of Issue Handling Efficiency

Implementing Refactorings in the Spoofax Language Workbench

Testing principles, current practices, and effects of change localization

Engine simulation models for the cycles of BE1 and report on obtained performance data: Model development with the Gas turbine Simulation Program (GSP)

Software Development Environments on the Web: A Research Agenda