Wissenschaftliche Literatur Verifikation
Eine Auswahl unserer Fachbücher
Falls bei Ihnen die Veröffentlichung der Dissertation, Habilitation oder Masterarbeit ansteht, kontaktieren Sie uns jederzeit gern.

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 Verfasser greift mit Experimenten eine auf verwandten Gebieten sehr erfolgreiche Methode heraus und untersucht deren Potenzial für die…
ArtefaktevaluationBetriebswirtschaftslehreExperimentalmethodikExperimentelle ForschungForschungsmethodenInformatikInformation Systems ResearchKonstruktivismusKritischer RationalismusMethodenpotenzialPositivismusWirtschaftsinformatik
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 Ankündigung in vielen Fällen vorteilhaft für die betreffende Seite sein kann. Darüber hinaus kann gezeigt werden, daß die…
Angewandte MathematikDatenverifikationFührerschaftsprinzipGleichgewichteInformatikInspektionsspieleKontrollenSelbstbindungSpieltheorieStrategien
Marion Kremer
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen
Forschungsergebnisse zur Informatik
Da Software in zunehmendem Maße auch in sicherheitsrelevanten Anwendungen eingesetzt wird, steigt der Bedarf an Software-Prüfung, die über das Testen hinausgeht. In dieser Arbeit wird ein System zur Prüfung von mit Zusicherungen angereicherten Programmen entwickelt, dessen Kern konstant ist und bei dem die sprachspezifischen Anteile aus der für die Erstellung eines Compilers vorhandenen Sprachbeschreibung generiert werden können. Die Grundidee für ein solches System…
InformatikLambdaProgrammierungQualitätssicherungSemantikbeschreibungSoftwaresprachunabhängiges VerifikationsystemZielsprache
Marion 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 Anlaß) für ihre Ermittlungstätigkeit.
In der Studie wird exemplarisch anhand der so genannten Bankenverfahren der…

Reiner Abel
Spieltheoretische Modelle zur Optimierung von stichprobenartigen Vor-Ort-Inspektionen
Studien zur Wirtschaftsinformatik
Vertraglich geregelte Vereinbarungen ziehen die Notwendigkeit einer Verifikation der Einhaltung aller hierdurch von den beteiligten Parteien eingegangenen Verpflichtungen nach sich. Ausschließlich mit Hilfe einer formalen Verifikationsmethode als quantitativer Basis ist die Analyse optimaler Inspektionsverfahren und die damit einhergehende Demonstration von Glaubwürdigkeit realisierbar. Neben der Aufdeckung vertragswidrigen Verhaltens steht hierbei die Abschreckung von…
EinhaltungInformatikInspektionnichtkooperative SpieleOptimierungSpieltheorieVerifikationVertragvertragswidriges Verhalten
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 Analyseverfahren benötigt, die die industrielle Softwareentwicklung weitgehend unterstützen können. [...]
CSPformale SpezifikationInformatikStatechartsStatemateSystemmodellierungÜbersetzungstechnikenVerifikation
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 [...]InformatikMathematikMengenlehrePhysikProgrammverifikationQuantentheorieReelle ZahlenSet Theory
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 numbers (as special case of the irrationals), finite and infinite categories Generalized union, intersection and Cartesian procuct…InformatikMathematikMengenlehrePhysikProgrammverifikationQuantentheorieReelle ZahlenSet Theory
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 deshalb nur auf der Grundlage formaler, mathematischer Methoden lösen.
Grundlage jeder formalen Entwurfsmethode ist zunächst…
AbstraktionsoperatorFlussereignisstrukturImplementierungInformatikKonfigurationsstrukturKorrektheitskriteriumSpracheVerifikation
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 unterschiedliche Verfeinerungsbegriffe für unterschiedliche Entwicklungsmethoden und unterschiedliche Logiken. [...]
Beweissystem IsabelleHOLCFInformatikKorrektheitQuotientenRefinementSubtypenVerfeinerungVerifikation