Wissenschaftliche LiteraturBeweisInformatik

Die Bedeutung des Datenschutzrechts bei Beweisverboten in Zivil- und Arbeitsgerichtsbarkeit

Eine Darstellung anhand der Rechtsprechung zu „Dash-Cams“

Beiträge zu Datenschutz und Informationsfreiheit

In den letzten Jahren ist verstärkt diskutiert worden, inwieweit Zivil- und Arbeitsgerichte rechtswidrig erlangte Beweismittel zur Grundlage ihrer Entscheidung machen dürfen. Besonders umstritten ist dabei die Fallgruppe der Dash-Cams gewesen – kleine Kameras im Inneren von Fahrzeugen, die laufend ihre Umgebung…

Der Anscheinsbeweis im elektronischen Rechtsverkehr

Entstehung – Voraussetzungen – Anwendbarkeit

Recht der Neuen Medien

Der Autor untersucht in seinem Werk, ob sich die Grundsätze des Anscheinsbeweises auf den Bereich des elektronischen Rechtsverkehrs übertragen lassen. Hierzu stellt er zunächst sowohl die Entstehung als auch die rechtliche Einordnung und die Voraussetzungen des Anscheinsbeweises eingehend dar. Im Kern geht er…

Der Beweis im elektronischen Rechtsverkehr

Recht der Neuen Medien

Diese Studie befasst sich mit Fragen des Beweiswerts elektronischer Dokumente. Es wird gezeigt, wie der Beweis mit elektronischen Dokumenten geführt und welcher Beweiswert den unterschiedlichen technischen Lösungen beigemessen werden kann. Dabei steht im Vordergrund, wie eine interessengerechte Verteilung der…

Willenserklärungen im Internet

Rechtssicherheit durch elektronische Signaturen sowie Anpassung der Formvorschriften und des Beweisrechts

Recht der Neuen Medien

Die Verlagerung des Geschäftsverkehrs in das Internet macht es erforderlich, den Austausch elektronischer Willenserklärungen über das Internet zu ermöglichen, Behinderungen in Bezug auf Formvorschriften bei der Abgabe von Willenserklärungen und beim Zustandekommen von Verträgen auszuschließen sowie Rechtssicherheit…

Analogieschlüsse beim automatischen Beweisen

Forschungsergebnisse zur Informatik

Was macht den Menschen intelligenter als die Maschine?

Einer von vielen Gründen ist: der Mensch kann richtige Analogien erkennen und ausnützen und somit analoge Probleme ohne den analogen Aufwand lösen. Der Autor bezweckt, dieses Defizit aus Maschinensicht zu verringern. Hauptziel ist es, den sprachlichen…

Positive/Negative-Conditional Equations

A Constructor-Based Framework for Specification and Inductive Theorem Proving

Forschungsergebnisse zur Informatik

Thema dieser Dissertation ist das Beweisen induktiver Theoreme in Klauselform auf der Basis von Spezifikationen mit konstruktorbasierten, positiv/negativ bedingten Gleichungen. Das Beweisen induktiver Theoreme ist von entscheidender Bedeutung für jede Form der Argumentation über Computerprogramme. Da formale…

Refinements in HOLCF: Implementation of Interactive Systems

Forschungsergebnisse zur Informatik

Verfeinerung (Refinement) ist ein Konzept zur mathematischen Modellierung von Software und Systementwicklung. Dabei werden die Softwaresysteme in einer Logik formal beschrieben und durch die Verfeinerungsrelation in Beziehung gesetzt. Mit Verfeinerungen läßt sich die Korrektheit von Systemen bezüglich einer…