Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
PageMenu
-
Hauptmenü
-
Suchmenü
Einfache Suche
.
Erweiterte Suche
.
Zeitschriften-Suche
.
Suchergebnisse verfeinern
.
Neuerwerbungsliste nach Gruppen
.
Sortierreihenfolge
.
Benutzerdienste
Nutzeranmeldung
.
Mein Konto
.
Erwerbungsvorschlag
.
Fernleihe
.
Vormerkung
.
Verlängerung
.
Weitere Recherchemöglichkeiten
Datenbankinfosystem (DBIS)
.
Karlsruher virtueller Katalog (KVK)
.
Regensburger Systematik (RVK)
.
Elektronische Zeitschriften (EZB)
.
Zeitschriftendatenbank (ZDB)
.
Sitzung beenden
Katalog verlassen
.
Homepage WHZ
.
Hochschulbibliothek
.
© LIBERO v6.4.1sp240211
Page content
Sie befinden sich hier
:
Katalogdatenanzeige
Katalogdatenanzeige
Recht ex machina: Formalisierung des Rechts im Internet der Dienste
.
Bookmark für diesen Satz setzen
Katalogdatensatz500171623
.
.
Wikipedia-Verfasserlink
.
.
LibraryThing
.
Kataloginformation
Katalogdatensatz500171623
.
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
.
ISBD-Anzeige
Katalogdatensatz500171623
.
Kategorien-Anzeige
Katalogdatensatz500171623
.
Verwandte Werke
Katalogdatensatz500171623
.
Titel zur Titelsammlung hinzufügen
Katalogdatensatz500171623
.
Kataloginformation500171623
Datensatzanfang
.
Kataloginformation500171623
Seitenanfang
.
Titel vormerken
Katalogdatensatz500171623
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
Suche nach