In nahezu allen Branchen zeichnet sich der Trend ab, die unternehmerischen Leistungs- und Informationsflüsse effektiver auf den Markterfolg auszurichten und effizienter im Zieldreieck Qualität - Kosten - Zeiten zu gestalten. Dies bedingt die Umsetzung von auf Geschäftsprozessen ausgerichteten...

This paper presents an empirical study addressing current tendenciesin corporate environmental reporting released to the public. On the one hand, we survey British and German environmental statements according to the "European Eco-Management and Audit Scheme". On the other hand, we explore why...

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...

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...