Untersuchungen zur Formalisierung im Recht als Beitrag zur Grundlagenforschung juristischer Datenverarbeitung (UFORED)
649 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum1984-01-01
- Mått170 x 244 x 15 mm
- Vikt462 g
- FormatHäftad
- SpråkTyska
- SerieForschungsberichte des Landes Nordrhein-Westfalen
- Antal sidor252
- Upplaga1984
- FörlagSpringer Fachmedien Wiesbaden
- ISBN9783531031804
Tillhör följande kategorier
- 1. Informatik und Recht.- 1.1. Untersuchungsansatz.- 1.2. Objektivierung und Entfremdung.- 1.3. Ansätze zu einer Theorie der Formalisierung.- 2. Formale Methoden im Recht — Bestandsaufnahme.- 2.1. Formalisierung juristischer Entscheidungen.- 2.2. Formale Methoden als Grundlage von Datenverarbeitung im Recht.- 2.3. Grundsätzliche Probleme bei der Formalisierung im Recht.- 3. Beispiel: Formalisierung der gesetzlichen Erbfolgeregelung — Vergleichende Betrachtung von Formalisierungsinstrumenten.- 3.1. Ein graphentheoretischer Formalisierungsansatz.- 3.2. Die Formalisierung der Vorschriften der gesetzlichen Erbfolge durch Anwendung der Entscheidungstabellentechnik.- 3.3. Diskussion und Vergleich der Formalisierungsansätze.- 4. Beziehungen zu Konzepten der Rechtstheorie.- 5. Vergleich formaler Methoden im Recht.- 5.1. Klassifizierung der Formalisierungsmethoden.- 5.2. Kriterienkatalog für den Vergleich formaler Methoden im Recht anhand der Bedeutungsdimensionen “Formalisierung rechtlicher Regelungen”, “Formalisierung von Arbeit” und “Formalisierung der Bürger-VerwaltungKommunikation”.- 5.3. Tabellarische Obersicht über die Ergebnisse des Vergleichs der behandelten formalen Methoden im Recht.- 6. Auswirkungen der Formalisierung.- 6.1. Auswirkungen der Formalisierung und Automatisierung am Beispiel der Steuerverwaltung.- 6.2. Thesen zu den Auswirkungen der Formalisierung.- 7. Literaturverzeichnis.
Mer från samma författare
Ausgezeichnete Informatikdissertationen 1999
Herbert Fiedler, Oliver Günther, Werner Grass, Steffen Hölldobler, Günter Hotz, K. Rüdiger Reischuk, Bernhard Seeger, Dorothea Wagner
489 kr
Öffentliche Verwaltung und Informationstechnik
Heinrich Reinermann, Herbert Fiedler, Klaus Grimmer, Klaus Lenk, Roland Traunmüller
649 kr
Mer från samma serie
Ein direkter zweidimensionaler Operatorenkalkül zur Lösung partieller Differenzengleichungen und seine Anwendung bei der numerischen Lösung partieller Differentialgleichungen
Hermann Schulte, Hermann Schulte
709 kr
Beweisprogramme für die Prädikatenlogik und der Vollständigkeitssatz von Beth
Christian Fenske, Christian Fenske
709 kr
Mathematische Behandlung einer angenäherten quasilinearen Potentialgleichung der ebenen kompressiblen Strömung
Fritz Reutter, Fritz Reutter, Patzelt Gerhard
709 kr
Ein Verfahren zur Lösung des CAUCHY-Problems für lineare Systeme von partiellen Differentialgleichungen
Volkmar Scharf
709 kr
Beiträge zum Problem der psychischen Beanspruchung
Hansgeorg Bartenwerfer, Ludwig Kötter, Wilhelm Sickel
709 kr
Über die Konvergenz einiger Jacobi-Verfahren zur Bestimmung der Eigenwerte symmetrischer Matrizen
Gerhard Schröder
709 kr
Über eine nichtlineare Differentialgleichung 2. Ordnung die bei einem gewissen Abschätzungsverfahren eine besondere Rolle spielt
Ernst Peschl, Karl Wilhelm Bauer
709 kr
Du kanske också är intresserad av
Öffentliche Verwaltung und Informationstechnik
Heinrich Reinermann, Herbert Fiedler, Klaus Grimmer, Klaus Lenk, Roland Traunmüller
649 kr
Ausgezeichnete Informatikdissertationen 1999
Herbert Fiedler, Oliver Günther, Werner Grass, Steffen Hölldobler, Günter Hotz, K. Rüdiger Reischuk, Bernhard Seeger, Dorothea Wagner
489 kr