research
∙
10/12/2020
Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering – A White Paper
This white paper argues that formal methods need to be better rooted in ...
share
research
∙
09/18/2019
Prolog Coding Guidelines: Status and Tool Support
The importance of coding guidelines is generally accepted throughout dev...
research
∙
08/27/2019
Towards Constraint Logic Programming over Strings for Test Data Generation
In order to properly test software, test data of a certain quality is ne...
research
∙
08/23/2018