TestAxis: Save Time Fixing Broken CI Builds Without Leaving Your IDE

The most common reason for Continuous Integration (CI) build failures is failing tests. When a build fails, a developer often has to scroll through hundreds to thousands of log lines to find which test is failing and why. Finding the issue is a tedious process that relies on a developer's experience and increases the cost of software testing....

EyeIDEA: Paving the Way Towards an Augmented Eye-Tracking IDE

Since their invention, the keyboard and mouse are the most used input devices that software developers use to interact with source code. However, these devices have their IDE interaction issues as developers need to spend a significant amount of time learning how to use them efficiently and effectively. To tackle some of these issues, we used an...

Monitoring-aware IDEs

It has become a common practice for software developers to analyse monitoring data as a means to understand issues, trends and performance of large-scale software systems. The combination of this practice with the software development workflow can however be cumbersome at times. One recent effort into evaluating the effects of integrating...

A Component-Based Formal Language Workbench

The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely. CBS provides an extensive library of reusable language specification components, facilitating co...

Design the Next-generation Atrial Fibrillation Diagnosis Device: An off-hospital, continuous, long-term heart monitoring product

This is a 5-month master graduation project in collaboration with Praxa Sense to design the next generation Atrial Fibrillation diagnosis device. A long-term (more than one month) continuous, off-hospital diagnosis device is designed with the focus on user experience and diagnosis accuracy. There are several phases in this project including...

Polaris: Providing context aware navigation in spreadsheets

Spreadsheets are a successful example of an end-user programming language, and the spreadsheet paradigm shares several characteristics like composition, selection, and repetition with programming languages. There are compelling reasons that spreadsheets are code. For most programming languages, developers are supported by powerful IDEs. However,...

DynSem: A DSL for Dynamic Semantics Specification

The formal definition the semantics of a programming language and its implementation are typically separately defined, with the risk of divergence such that properties of the formal semantics are not properties of the implementation. In this paper, we present DynSem, a domain-specific language for the specification of the dynamic semantics of...

A model driven IDE for M-industries’ Alan

While software is becoming increasingly important in our world, software development is also advancing with an increasing pace. One of the reasons is the increase in available information, which triggered the birth of a new programming paradigm: Model Driven Development (henceforth MDD). Though this can shorten the development time and make it...

Dynsem: A DSL for dynamic semantics specification

The formal semantics of a programming language and its implementation are typically separately defined, with the risk of divergence such that properties of the formal semantics are not properties of the implementation. In this paper, we present DynSem, a domain-specific language for the specification of the dynamic semantics of programming...

'Act on Their Stakes' Method and Tools for a Stakeholder Analysis

Stakeholder analyses are executed in multiple fields. Two of those fields are Industrial Design Engineering and construction. Both fields and literature are studied. Based on the strenghts of each of these three sources a five-step methodolgy for the execution of a stakeholder analysis is developed. To make the five-step methodology actionable...

A fully integrated development environment for GOAL in Eclipse

For the GOAL agent programming platform, a new, full-fledged IDE was created that provides support for all phases in the agent program development process, with the concepts of integration and adaptation at its base. Using the DLTK framework, a plug-in for the Eclipse platform was created in multiple iterations, continuously evaluating the...

Novus Voltus et elit Consilium ( ‘New features and focus strategy’ )

This master thesis is the result of a graduation project for the MSc program of Strategic Product Design with the faculty of Industrial Design Engineering from Delft University of Technology, executed for Spyker Cars. The brands rich heritage has been passed over, with the acquisition of the brand name, to the new founded Spyker company and its...

Adinda: A knowledgeable, browser-based IDE

In practice, many people have to work together to develop and maintain a software system. However, the programmer’s key tool, the Integrated Development Environment (IDE), is a solo-tool, serving to help individual programmers understand and modify the system. Such an IDE does not leverage the knowledge other team members may have of the design...