Verifikation
Wissenschaftliche Fachliteratur
Falls bei Ihnen die Veröffentlichung der Dissertation ansteht, kontaktieren Sie uns gern.
Jens Brandt & Klaus Schneider (Hrsg.)
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
MBMV 2012
Forschungsergebnisse zur Informatik
Der Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2012) ist bereits das fünfzehnte gemeinsame Treffen der Fachgruppen 3 und 4 der Kooperationsgemeinschaft "Rechnergestützter Schaltungs- und Systementwurf (RSS)" der Gesellschaft für Informatik (GI), der Informationstechnischen […]
Christian Huber
IT-gestützte Maßnahmen zur Erhöhung von Tax Compliance
Betriebswirtschaftliche Steuerlehre in Forschung und Praxis
Unter dem Begriff Tax Compliance ist insbesondere die Einhaltung und Erfüllung steuerlicher Pflichten zu verstehen. Für die Finanzbehörden normiert § 85 AO, dass die Steuern nach Maßgabe der Gesetze gleichmäßig festzusetzen und zu erheben sind. Jedoch ist aufgrund von Steuerhinterziehung oder Unkenntnis steuerlicher Regelungen der […]
Benedikt Keilen
Ertragsteuerliche Behandlung von digitalen Geschäftsmodellen
Virtuelle Betriebsstätte als Nexus und Gewinnanteil einer virtuellen Betriebsstätte unter besonderer Berücksichtigung von werbefinanzierten sozialen Netzwerken
Betriebswirtschaftliche Steuerlehre in Forschung und Praxis
Die steuerliche Behandlung von digitalen Geschäftsmodellen hat international eine umfangreiche Diskussion ausgelöst. Die OECD hat im Zusammenhang mit ihrem Projekt „Base Erosion and Profit Shifting“ hierzu einige Handlungsoptionen vorgestellt, aber bisher keinen einheitlichen Lösungsvorschlag erarbeitet. Sie hat sich aber zum Ziel gesetzt, dass […]
Jana Rosenbusch
Strategisches Zufriedenheitsmanagement im Krankenhaus
Eine empirische Analyse der Determinanten der Patientenzufriedenheit unter Berücksichtigung des Einflusses von einweisenden Ärzten
Der Wettbewerb im Markt der stationären Patientenversorgung verschärft sich von Jahr zu Jahr. Zahlreiche Kliniken haben die Bedeutung der Patientenzufriedenheit für die erfolgreiche Positionierung im Markt bereits erkannt. Trotz der nachgewiesenen Relevanz des Patientenurteils für Anbieter und Kunden existiert bis heute kein einheitlicher […]
Guido Piehlmeier
Spieltheoretische Untersuchung von Problemen der Datenverifikation
Forschungsergebnisse zur Informatik
Ein Datenverifikationsproblem im Sinne der vorliegenden Arbeit ergibt sich aus der folgenden Situation: Eine Vertragspartei (der Inspizierte) verpflichtet sich aufgrund festgelegter Vereinbarungen zu legalem, d.h. zu vertragskonformem Verhalten und berichtet Daten, die dieses legale Verhalten bestätigen sollen. Eine Überwachungsbehörde (der […]
Andreas Hirsch
Die Christologie deutschsprachiger katholischer Dogmatiklehrbücher in der Umbruchszeit nach dem II. Vatikanum
THEOS – Studienreihe Theologische Forschungsergebnisse
Jesus Christus ist das Zentrum unseres Glaubens und es gibt sehr viel Literatur über ihn. Die Beschäftigung mit der Christologie in den Manualien führt in ein weniger bearbeitetes Gebiet der Theologiegeschichte. Dogmatiklehrbücher geben eine Übersicht über den Stoff in einer kompendienhaften Form. Diese Werke werden in der akademischen Lehre […]
Jan Keidel / Hendrik Jähn / Marco Fischer / Thomas Burghardt / Daniel Neumann (Hrsg.)
Modelle und Methoden zur Entscheidungsunterstützung für betriebswirtschaftliche Wertschöpfungsprozesse
Festschrift für Prof. Dr. Joachim Käschel
Schriftenreihe innovative betriebswirtschaftliche Forschung und Praxis
Diese Festschrift wurde zu Ehren von Herrn Prof. Dr. Joachim Käschel anlässlich seiner Emeritierung im September 2016 verfasst. Zahlreiche Wegbegleiter seiner akademischen Laufbahn haben durch ihren Beitrag zum Gelingen beigetragen. Im Vordergrund der Festschrift steht die Würdigung der Tätigkeit und Verdienste von Professor Joachim Käschel in […]
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 […]
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 […]
Elmar Urbach
Funktion und Erfordernis subjektiver Besteuerungsmerkmale im Einkommensteuerrecht
Steuerrecht in Forschung und Praxis
Nach ständiger Rechtsprechung des Bundesverfassungsgerichts sind die Steuerlasten auf die Steuerpflichtigen im Verhältnis ihrer wirtschaftlichen Leistungsfähigkeit zu verteilen. Der Anspruch der staatlichen Gemeinschaft auf finanzielle Beiträge ihrer Bürger verlangt daher nach Gleichheit und Objektivität. Dieser Grundsatz lässt sich mit der […]