Shortcuts
Bitte warten Sie, bis die Seite geladen ist.
 
PageMenu- Hauptmenü-
Page content

Katalogdatenanzeige

Recht ex machina: Formalisierung des Rechts im Internet der Dienste

Recht ex machina: Formalisierung des Rechts im Internet der Dienste
Kataloginformation
Feldname Details
Vorliegende Sprache ger
Hinweise auf parallele Ausgaben 347583962 Buchausg. u.d.T.: ‡Recht ex machina
ISBN 978-3-642-17670-8
Name Raabe, Oliver
Wacker, Richard
Name ANZEIGE DER KETTE Wacker, Richard
Name Oberle, Daniel
Baumann, Christian
Funk, Christian
T I T E L Recht ex machina
Zusatz zum Titel Formalisierung des Rechts im Internet der Dienste
Verlagsort Berlin, Heidelberg
Verlag Springer
Erscheinungsjahr 2012
2012
Umfang Online-Ressource (XII, 448 S. 58 Abb, digital)
Reihe SpringerLink. Bücher
Titelhinweis Buchausg. u.d.T.: ‡Recht ex machina
ISBN ISBN 978-3-642-17671-5
Klassifikation UBL
LAW099000
343.0999
QA75.5-76.95
PZ 3300
PZ 2800
ST 230
Kurzbeschreibung Teil I: Einführung -- Überblick -- Methodisches Konzept -- Referenzbeispiel -- Teil II: Entwicklung des Basiskonzepts -- Das Internet der Dienste -- Juristische Methodik.-Symbolische Ebene -- Begriffliche Ebene.-Kommunikation -- Teil III: Gesamtarchitektur des Systems -- Eingrenzung -- Anforderungen -- Grobentwurf -- Teil IV: Detaillierte Anforderungen -- Anforderungen an die Symbolische Ebene, Begriffsmodellierung und Rechtsbegriffsontologie -- Begriffliche Ebene – Anforderungen an die Sachverhaltsontologie/Sachverhalt -- Begriffliche Ebene – Anforderungen an Subsumtion und Matchmaking.-Anforderungen an den logischen Schluss, vollständige Obersätze und dynamische Normgraphen -- Teil V Detaillierter Entwurf -- Formalisierte Rechtssätze.-Komponente zur Subsumtion -- Logische Komponente zur Rechtsfolgenermittlung -- Literatur -- Index.
2. Kurzbeschreibung 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.
1. Schlagwortkette Deutschland
Softwareentwicklung
Recht
1. Schlagwortkette ANZEIGE DER KETTE Deutschland -- Softwareentwicklung -- Recht
2. Schlagwortkette Subsumtion
Formalisierung
Rechtsinformatik
ANZEIGE DER KETTE Subsumtion -- Formalisierung -- Rechtsinformatik
SWB-Titel-Idn 36768571X
Signatur Springer E-Book
Bemerkungen Elektronischer Volltext - Campuslizenz
Elektronische Adresse $uhttp://dx.doi.org/10.1007/978-3-642-17671-5
Internetseite / Link Volltext
Siehe auch Inhaltsverzeichnis
Kataloginformation500171623 Datensatzanfang . Kataloginformation500171623 Seitenanfang .
Vollanzeige Katalogdaten 

Auf diesem Bildschirm erhalten Sie Katalog- und Exemplarinformationen zum ausgewählten Titel.

Im Bereich Kataloginformation werden die bibliographischen Details angezeigt. Per Klick auf Hyperlink-Begriffe wie Schlagwörter, Autoren, Reihen, Körperschaften und Klassifikationen können Sie sich weitere Titel des gewählten Begriffes anzeigen lassen.

Der Bereich Exemplarinformationen enthält zum einen Angaben über den Standort und die Verfügbarkeit der Exemplare. Zum anderen haben Sie die Möglichkeit, ausgeliehene Exemplare vorzumerken oder Exemplare aus dem Magazin zu bestellen.
Schnellsuche