Wissenschaftliche Literatur Computerprogramme

Christian Reibis

Computergestützte Optimierungsmodelle als Instrumente einer unternehmenswertorientierten Rechnungslegungspolitik

Eine Analyse vor dem Hintergrund des Bilanzrechtsreformgesetzes

Schriften zum Betrieblichen Rechnungswesen und Controlling

Christian Reibis beschäftigt sich mit der Konzipierung leistungsfähiger rechnungslegungspolitischer Entscheidungsmodelle, die zur zieloptimalen Gestaltung des Jahresabschlusses sowie zur Finanz- und Jahresabschlussplanung eingesetzt werden können. Es handelt sich dabei um simultane Optimierungsmodelle, die die bei der Erstellung des Jahresabschlusses auftretenden Entscheidungsprobleme bezüglich der Ausübung der gesetzlichen Wahlrechte und Ermessensspielräume einer alle…

Peter Lorscheid

Optimale Stichprobendesigns für Qualitätsregelkarten

Nutzung von Kosteneinsparpotenzialen durch die geeignete Wahl von Stichprobenumfang und -abstand

QM – Quantitative Methoden in Forschung und Praxis

Im Rahmen des Total Quality Management verfolgen Unternehmen eine ganzheitliche, an den Bedürfnissen der Kunden orientierte Strategie qualitätsorientierter Unternehmensführung. Dabei geht es nicht nur darum, Fertigungsprozesse zu optimieren, sondern die Einhaltung dieser Qualitätsstandards gegenüber potenziellen Kunden umfassend zu dokumentieren.

Das Führen Qualitätsregelkarten versetzt ein Unternehmen in die Lage, die Qualitätslage schon während des…

Heiko Haase

Die Patentierbarkeit von Computersoftware

Eine Untersuchung unter juristischen und wirtschaftlichen Aspekten

Studienreihe wirtschaftsrechtliche Forschungsergebnisse

Computersoftware zählt zu den wichtigsten Wirtschaftsgütern der Informationsgesellschaft. Durch die besondere Verletzlichkeit von Software und ihren hohen wirtschaftlichen Wert ist in jüngerer Zeit weniger die Frage nach der Sinnhaftigkeit des Schutzes, sondern vielmehr die Ausgestaltung rechtlicher Schutzmechanismen sowie deren ökonomische Implikationen Gegenstand von Diskussionen. Im Mittelpunkt steht hierbei die derzeitige rasante und turbulente Entwicklung der…

Natalija Reichart

Nonverbales Verhalten im Lernprozess

Schriften zur pädagogischen Psychologie

Das Buch gibt die Dissertation "Nonverbales Verhalten im Lernprozess" unverändert wieder. Die Arbeit umfasst empirische Untersuchungen von experimentell ausgelöstem und registriertem (mit Video/Fotos) nonverbalem Verhalten im Lernprozess, d. h. im vorliegenden Fall in unterschiedlichen, durch kleine selbst entwickelte Lernprogramme simulierte Lernsituationen.

Das Lernen erfolgte unter standardisierten und damit exakt reproduzierbaren Versuchsbedingungen mit Hilfe…

Claus-Peter Wirth

Positive/Negative-Conditional Equations

A Constructor-Based Framework for Specification and Inductive Theorem Proving

Forschungsergebnisse zur Informatik

Thema dieser Dissertation ist das Beweisen induktiver Theoreme in Klauselform auf der Basis von Spezifikationen mit konstruktorbasierten, positiv/negativ bedingten Gleichungen. Das Beweisen induktiver Theoreme ist von entscheidender Bedeutung für jede Form der Argumentation über Computerprogramme. Da formale Methoden bei der Verifikation sicherheitskritischer Algorithmen unverzichtbar sind, ist davon auszugehen, dass mehr oder weniger automatisiertes Beweisen induktiver…