• Die Verbesserung von Produkt- bzw. Prozesskonzeptionen stellt eine zentrale Aufgabe des Qualitätsmanagements dar, deren Erfüllung durch Qualitätsmanagementinstrumente, insbesondere die Fehlermöglichkeits- und -einflussanalyse (FMEA), unterstützt wird. Dabei wird mit der herkömmlichen...

Im Hinblick auf die zunehmende Bedeutung des Umweltschutz-Reporting wendet sich das Lehr- und Handbuch an Führungskräfte in Unternehmen und an Studierende der Betriebswirtschaft mit Schwerpunkten Rechnungswesen, Controlling und Wirtschaftsprüfung

Eine Verknüpfung von Umweltschutz- und Qualitäts-Controlling einschließlich der jeweiligen Instrumente ermöglicht eine Produkt- und Prozeßgestaltung, die gleichzeitig den Anforderungen von Kunden und des Umweltschutzes entspricht. Der Beitrag diskutiert die Integrationsmöglichkeiten am...

We introduce 'formal methods' of mechanized reasoning from computer science to address two problems in auction design and practice: is a given auction design soundly specified, possessing its intended properties; and, is the design faithfully implemented when actually run? Failure on either...

Formal methods use computers to verify proofs or even discover new theorems. Interest in applying formal methods to problems in economics has increased in the past decade, but - to date - none of this work has been published in economics journals. This paper applies formal methods to a familiar...