Verifikation
Wissenschaftliche Fachliteratur
Falls bei Ihnen die Veröffentlichung der Dissertation ansteht, kontaktieren Sie uns gern.
Marco Link
Anforderungskonforme Prozessmotivation
Ein stufenweiser Ansatz zum anforderungskonformen Prozessmanagement mit BPMN
Studien zur Wirtschaftsinformatik
Unternehmen stehen vor der Herausforderung, geeignete Strukturen und Maßnahmen zu etablieren, um mit internen und externen Anforderungen konform zu sein. Es besteht jedoch nicht nur die Herausforderung, den Konformitätszustand zeitpunktbezogen zu erreichen, sondern auch der Anspruch, diesen dauerhaft gewährleisten zu können. Sowohl bei […]
Ruggero Costantini
Abstraktion in ereignisbasierten Modellen verteilter Systeme
Ein Beitrag zum formalen Entwurf verteilter Systeme
Forschungsergebnisse zur Informatik
Der Entwurf und die Verifikation verteilter Systeme stellen den Entwicklungsingenieur immer noch vor große Probleme. Das komplexe parallele Verhalten solcher Systeme entzieht sich wegen der Nicht-Determiniertheit der zeitliche Abläufe der menschlichen Vorstellungskraft. Der korrekte Entwurf bzw. die Verifikation des Entwurfes lassen sich […]
Andreas Wölling
Das Führerschaftsprinzip bei Inspektionsspielen
Forschungsergebnisse zur Informatik
Im Mittelpunkt der Arbeit steht die spieltheoretische Modellierung und Analyse des sog. Führerschaftsprinzips, d.h. von Situationen, bei denen eine Person oder Gruppe ihre Handlungen im vorhinein ankündigt.
Entgegen der Intuition, bei strategischen Entscheidungen möglichst wenige Informationen preiszugeben, zeigt sich, daß eine solche […]
Jan-Juan Hiemer
Statecharts in CSP
Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts
Forschungsergebnisse zur Informatik
Graphische Notationen werden heute standardmäßig zur Modellierung komplexer Softwaresysteme eingesetzt. Eine gängige Notation für die Entwicklung von Steuerungssystemen sind die von Harel eingeführten Statecharts, die durch das Werkzeug Statemate unterstützt wird. Bei der bestehenden Komplexität der Softwaremodelle werden immer stärker […]
Ulrich Christian Schäfert
NICHT SEHEN – als Weg zum UN-SICHTBAREN: Bild-Werdungen und praktisch-theologische Perspektiven
Schriften zur Praktischen Theologie
Das Buch im Schnittbereich von Kunst und Theologie stellt die grundsätzliche Frage, inwieweit Kunst zum Un-Sichtbaren führen kann. Die überraschende These: Gerade "Nicht-Sehen" kann Hilfe für eine Begegnung mit dem Un-Sichtbaren sein. Dabei wird deutlich, dass der einzelne Betrachter konstitutiv für das Werden des Bildes ist, erst im Gegenüber […]
Thomas Wilde
Experimentelle Forschung in der Wirtschaftsinformatik
Analyse des Methodenpotenzials und Entwicklung geeigneter Experimentaldesigns
Studien zur Wirtschaftsinformatik
Die deutschsprachige Wirtschaftsinformatik (WI) begann als vergleichsweise junge Disziplin erst in den letzten Jahrzehnten, ein theoretisches und methodisches Fundament auszuprägen. In ihrer Schnittstellenposition zwischen Betriebswirtschaftslehre und Informatik kann sie sich dabei auf Vorarbeiten ihrer Referenzdisziplinen stützen. Der […]
Marko Matthes
Rasterfahndung im Steuerstrafverfahren
Massendatenverwendung und doppelfunktionale Ermittlungstätigkeit der Steuerfahndung, insbesondere bei Kreditinstituten
Steuerrecht in Forschung und Praxis
"Rasterfahndungen", "Ermittlungen ins Blaue" oder ähnliche Maßnahmen sind sowohl in Steuerstrafverfahren als auch in Besteuerungsverfahren unzulässig, da sie eine Ausforschung bzw. eine Verdachtsgewinnung bedeuten. Damit mißachten die Strafverfolgungs- und die Finanzbehörden die gesetzlichen Eingriffsschwellen (Anfangsverdacht; hinreichender […]
Conrad Kuck
Intuitionistic Set Theory Part II
Forschungsergebnisse zur Informatik
In part II of his study, the author deals with the following problems:
Trees and Partitions Inaccessible Cardinals Descriptive Set Theory (Theory of a real variable) Auxiliary Notions Borel sets, B-measurable functions, Baire property Souslin space, projective sets Measurable Selectors [...]
Conrad Kuck
Intuitionistic Set Theory Part I
Forschungsergebnisse zur Informatik
In part I of his study, the author deals with the following problems:
Foundation of Euclidean semi-rings by finite construction of irra-tional numbers in the semi-space (N algebraic reals) Decidable derivation of the axioms of the Axiomatic Set Theory (by K. Kuratowski and A. Mostowski), relations, functions Natural […]
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 Spezifikation beweisen. Es gibt […]