Engineering Compliant Software: Advising Developers by Automating Legal Reasoning
Authors
Felix Drefs Daniel Oberle
† SAP Research Karlsruhe, Germany. d.oberle@sap.com, ch.baumann@sap.com * Institute of Information and Economic Law, Karlsruhe Institute of Technology (KIT), Germany. felix.drefs@kit.edu, richard.wacker@kit.edu, oliver.raabe@kit.edu
The impact of software on human interactions is ever increasing. However, software developers are often unaware of statutory provisions that regulate human interactions. As a consequence, software is increasingly coming into conflict with such provisions. Therefore, this paper contributes an approach for advising the developer in designing software that complies to statutory provisions. The approach relies on the formalisation of statutory provisions and semi-automated legal reasoning assisted by the developer.
