A designerly methodology for software development

This PhD researches the domain of industrial design engineering starting from the strong technological evolutions and changing economic, social and ecological needs. Our current products are not only build from hardware components, but are a complex mix of hardware, software and services (in different proportions). This complexity is needed to...

Modeling of Image Formation in Cryo-Electron Microscopy

Knowledge of the structure of biological specimens is crucial for understanding life. Cryo-electron microscopy (cryo-EM) permits structural studies of biological specimen at their near-native state. The research performed in this thesis represents one of two subprojects of the FOM industrial partnership program with FEI Company. The common aim...

Software Language Evolution

Software plays a critical role in our daily life. Vast amounts of money are spent on more and more complex systems. All software, regardless if it controls a plane or the game on your phone is never finished. Software changes when it contains bugs or when new functionality is added. This process of change is called software eovlution. Despite...

Experiments with Formal Methods in Software Engineering