Wissenschaftliche Literatur Verifikation

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 Gesellschaft im VDE (ITG) und der Gesellschaft für Mikroelektronik, Mikro- und Feinwerktechnik (GMM). Ziel der Veranstaltung ist…

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 Steuerpflichtigen dieser Verifikationsauftrag gefährdet.

Um Tax Compliance sicherzustellen und Fehler zu vermeiden, wird…

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 die Ertragsbesteuerung (wieder) in den Staaten erfolgen soll, in denen wirtschaftliche Aktivitäten ausgeübt und ein Beitrag zur…

Jana Rosenbusch

Strategisches Zufriedenheitsmanagement im Krankenhaus

Eine empirische Analyse der Determinanten der Patientenzufriedenheit unter Berücksichtigung des Einflusses von einweisenden Ärzten

Qualitätsmanagement

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 Patientenzufriedenheits- oder Dienstleistungsqualitätsindex für Gesundheitseinrichtungen. [...]

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 genutzt. Ihr Einfluss zeigt sich mittelbar in der Verkündigung und im Religionsunterricht. [...]

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 Forschung und Lehre. Als Schwerpunkte seiner Aktivitäten können vor allem die Bereiche der Angewandten Mathematik, des…

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 Einkommensteuer wie mit kaum einer anderen Steuer verwirklichen.

Die Einkommensteuer belastet den am Markt erzielten…

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 Veränderungen der Rahmenbedingungen (Anforderungen) als auch bei Modifikationen der Prozesse ist jeweils die Überprüfung der nun noch…

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 von Mensch und dem Un-Sichtbaren wird Glaube Wirklichkeit. Die mehrteilige Argumentation stellt zugleich einen guten Überblick…

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 Inspektor) verifiziert diese Daten mit Hilfe unabhängiger Beobachtungen und hat daraufhin zu entscheiden, ob sich der Inspizierte…