Wissenschaftliche LiteraturBeweis

Oscar Slotosch

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…

Konrad Hummel

Erblich-polymorphe Eigenschaften des Blutes zur Klärung strittiger Blutsverwandtschaft und fraglicher Identität

Hierzu benutzte biometrische Verfahren

HIPPOKRATES – Schriftenreihe Medizinische Forschungsergebnisse

Seit den ersten Abstammungsgutachten unter Benutzung der klassischen Blutgruppen Ende der zwanziger Jahre dieses Jahrhunderts wächst die Bedeutung der im Blut nachweisbaren menschlichen Erbanlagen zur Klärung strittiger gerichtsmedizinischer Sachverhalte in den letzten zwei Jahrzehnten geradezu sprunghaft. Doch…

Holger Nitz

Einsatzbedingte Straftaten Verdeckter Ermittler

Eine Untersuchung polizeitaktischer Ermittlungsmethoden bei der Strafverfolgung

Studien zur Rechtswissenschaft

Mit der Frage nach der Zulässigkeit einsatzbedingter Straftaten Verdeckter Ermittler greift der Verfasser eines der umstrittensten Themen des aktuellen Strafprozessrechts auf. Die sicherheitspolitische Diskussion hat sich seit den 70er Jahren vom Terrorismus auf die "organisierte Kriminalität" verschoben. Mit dem…

Ludger Walther

Die Erreichbarkeitsanalyse zur Validierung komplexer Kommunikationsprotokolle

Variata – Titel ohne Schriftenreihenzuordnung

Unzuverlässige oder fehlerhafte Software in Programmen und Kommunikationsprotokollen hat immer wieder Softwarekrisen hervorgerufen. Unentdeckte Entwurfsfehler gefährden auf der Ebene der Implementierung das korrekte Verhalten von Rechensystemen und Datenverbindungen und können zu katastrophalen wirtschaftlichen…