Untersuchungen zur Formalisierung im Recht als Beitrag zur Grundlagenforschung juristischer Datenverarbeitung (UFORED) [Paperback]

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.