Diese Arbeit behandelt eine Forcing Methode, die Jan Krajíček in dem Buch ‘Forcing with random variables and proof complexity’ ([33]) 2010 vorgestellt hat und richtet sich an Leser mit grundlegenden Kenntnissen in Logik und Komplexitätstheorie. Die Forcing Methode erlaubt es Modelle für verschiedene Theorien aus dem Bereich der ‘Bounded Arithmetic’ zu konstruieren. Es werden die mathematischen ...

Beim Einsatz von Open-Source Software in kommerziellen Produkten müssen Software Engineering und Rechtsabteilung sich synchronisieren. Indem sowohl die Verbauung der Software-Komponenten als auch die Aussagen der beteiligten Open-Source Lizenzen strukturiert erfasst und Werkzeug-unterstützt ausgewertet werden, können lizenzrechtliche Konflikte zeitnah und präzise erkannt werden. 1. Herausforder...

Die condition sine qua non der Unterstützung geisteswissenschaftlicher Arbeit durch Methoden der Informatik liegt in einem "sanften" Design der Arbeitsumgebung. Das heißt: eine Überlagerung kognitiver Arbeit an Theorie und Text mit Verständnisund Verfahrensfragen des Instrumentariums ist konsequent, wie es der Stand der Technik erlaubt, auszuschließen. Jeder Gedanke, der an ein Wie der Arbeit g...

Zusammenfassung: Nachhaltigkeit ist ein aus der Umweltökonomie stammendes Konzept, welches angewandt auf Unternehmen einen verantwortungsvollen Umgang mit der physischen (Ökologie) und sozialen Umwelt (Ökonomie, Soziologie) fordert. Dieser Beitrag diskutiert, inwiefern sich Nachhaltigkeit, losgelöst von Fragen der Ökologie, auf Unternehmensarchitekturen übertragen lässt und welche Indikatoren s...

Die am häufigsten genutzte Notationsform für Anforderungen ist noch immer die natürliche Sprache [1], [2]. Die Verwendung der natürlichen Sprache birgt allerdings Risiken: es können mehrdeutige bzw. unverständliche Konstruktionen entstehen. Anforderungen müssen eindeutig und verständlich geschrieben sein, damit es zu einem einheitlichen Verständnis zwischen Auftraggeber und Auftragnehmer kommt....

Eines der größten Probleme, mit denen digitale Beweisstücke und Dokumente konfrontiert werden, ist das Feststellen der exakten Herstellungszeit. Viele Sicherheitsdienste bauen auf der Fähigkeit auf, die Zeit verschiedener Operationen feststellen zu können. Einfache, verknüpfte und verteilte Schemen sind die heute verbreitetsten Methoden digitale Zeitstempel herzustellen. Sind diese aber dazu ge...

Service Innovationen finden ein immer größer werdendes Interesse in Wissenschaft und Wirtschaft. Im Gegensatz dazu ist die Wissensbasis über den Umgang und die Entwicklung von Service Innovationen aber sowohl in der Forschung als auch in Unternehmen vergleichsweise gering. Hier setzt der vorliegende Beitrag an und untersucht Faktoren, die sich auf den Erfolg von Service Innovationen auswirken. ...

Business-Intelligence-Systeme stellen durch ihre Unterstützung bei der Entscheidungsfindung für Unternehmen eine wichtige Rolle dar. Mit einer stetig dynamischeren Unternehmensumwelt geht daher die Anforderung nach der agilen Entwicklung dieser Systeme einher, so dass in der BI-Domäne zunehmend erfolgreich agile Methoden und Vorgehensmodelle eingesetzt werden. Die Weiterentwicklung und Anpassun...

Die Schaffung und Nutzung informationstechnischer Systeme geht einher mit positiven wie auch negativen Wirkungen auf Mensch, Gesellschaft und Umwelt. Ausgehend vom Konzept der Integrativen Nachhaltigkeit und einer Definition des Begriffs der Nachhaltigen Software werden die Anforderungen an nachhaltige Software-Engineering-Prozesse diskutiert. Auf Grundlage einer modellhaften Prozessbeschreibun...

In komplexen Lebenslagen benötigen Bürger selbst in Zeiten des Internets eine persönliche Beratung. In Mystery Shoppings zeigte sich, dass die Kommunen bisher keinem strukturierten Beratungsprozess folgen, wie man ihn von kommerziellen Dienstleistern kennt. In diesem Paper wird der in dem Pilotprojekt Bürgerberatung 2.0 entwickelte Bürgerberatungsprozess vorgestellt. Dieses Paper konzentriert s...