| 书目名称 | Recht ex machina | | 副标题 | Formalisierung des R | | 编辑 | Oliver Raabe,Richard Wacker,Christian Funk | | 视频video | | | 概述 | Referenzwerk zur Formalisierung des Rechts auf rechtsmethodischer Grundlage.Didaktische, disziplinübergreifende Darstellung (Rechtsmethodik für Informatiker, Logik und Wissensrepräsentation für Jurist | | 图书封面 |  | | 描述 | .Software gewinnt zunehmend Einfluss auf menschliche Interaktionen und gerät so zunehmend in ein Spannungsverhältnis zu Recht und Gesellschaft. Probleme ergeben sich insbesondere dadurch, dass Softwaregestaltungen ohne jegliche demokratische Legitimation tief in viele Lebensbereiche eingreifen ohne hierbei den rechtlichen Rahmen angemessen zu berücksichtigen. Aus Sicht des Softwareentwicklers geschieht dies in der Regel aus Unkenntnis des Rechtsrahmens. Der vorliegende Beitrag zur Rechtsinformatik leistet deshalb die Konzeption und Umsetzung eines Produktivsystems zur Unterstützung bei der Entwicklung rechtskonformer Software vor, die überdies eine Laufzeitkontrolle erlaubt. Der Ansatz beruht auf einer technischen Umsetzung der juristischen Subsumtion soweit dies möglich ist und wird durch eine weitgehende Komplexitätsreduktion der normativen Fragestellungen ergänzt. Als Szenario soll die Entwicklung des „Internet der Dienste“ dienen, welches als umfassendes Ökosystem betrachtet wird, in dem Dienste beispielsweise über Marktplätze im Internet handelbar sind.. | | 出版日期 | Book 2012 | | 关键词 | Internet der Dienste; Ontologiemodellierung; Rechtsfolge; Rechtsfolgeermittlung; Rechtsinformatik; Servic | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-17671-5 | | isbn_ebook | 978-3-642-17671-5 | | copyright | Springer-Verlag Berlin Heidelberg 2012 |
The information of publication is updating
|
|
发表于 2025-3-21 18:31:23
