Stefan Hanenberg

On the need to define community agreements for controlled experiments with human subjects: a discussion paper

2015

While it looks like controlled trials with human involvement are increasingly applied in software science, there are few explicitly documented community standards in regard to their design or approach. This leads to a number of …

Understanding formal specifications through good examples

2018

Formal specifications of software applications are hard to understand, even for domain experts. Because a formal specification is abstract, reading it does not immediately convey the expected behaviour of the software. Carefully chosen examples of …