24 Bücher 

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.

Experimentelle Forschung in der Wirtschaftsinformatik (Doktorarbeit)Zum Shop

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
Das Führerschaftsprinzip bei Inspektionsspielen (Dissertation)Zum Shop

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
Entwurf eines sprachunabhängigen Verifikationssystems auf der Basis denotationaler Semantikbeschreibungen (Forschungsarbeit)Zum Shop

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
Rasterfahndung im Steuerstrafverfahren (Doktorarbeit)Zum Shop

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…

AnfangsverdachtAuskunftsersuchenAußenprüfungBankenverfahrenKontrollmitteilungRechtswissenschaftSteuerfahndungSteuerrechtVorfeldermittlung
Spieltheoretische Modelle zur Optimierung von stichprobenartigen Vor-Ort-Inspektionen (Forschungsarbeit)Zum Shop

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
Statecharts in CSP (Forschungsarbeit)Zum Shop

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
Intuitionistic Set Theory Part II (Forschungsarbeit)Zum Shop

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
Intuitionistic Set Theory Part I (Forschungsarbeit)Zum Shop

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
Abstraktion in ereignisbasierten Modellen verteilter Systeme (Forschungsarbeit)Zum Shop

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
Refinements in HOLCF: Implementation of Interactive Systems (Forschungsarbeit)Zum Shop

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