Engineering Compliant Software: Advising Developers by Automating Legal Reasoning

Authors

  • Daniel Oberle SAP Research Karlsruhe
  • Felix Drefs Karlsruhe Institute of Technology (KIT)
  • Richard Wacker Karlsruhe Institute of Technology (KIT)
  • Christian Baumann SAP Research Karlsruhe
  • Oliver Raabe Karlsruhe Institute of Technology (KIT)

DOI:

https://doi.org/10.2966/scrip.090312.280

Abstract

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.
'The @ngel of the Data Era', Anna Maria LopezLopez , I believe that we are never alone in this world, real or digital, that’s why I wanted to represent an angel of digital world with the @ symbol.

Downloads

Published

01-Dec-2012

Issue

Vol. 9 No. 3 (2012)

Section

Article

License

Copyright (c) 2012 The Author(s)

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.