Die Fülle des Konkreten am Skelett des Formalen

Softwaresysteme sind eine effektive technische Strategie zur Herstellung erfundener Wirklichkeiten. In unserer digitalen Kultur handeln programmierte Systeme bereits in beträchtlichem Maße anstelle von Menschen. Dabei gelingt wechselseitiges Aufeinander-­‐ Reagieren von Menschen und programmgesteuerten Apparaturen nur dort, wo Software und Anwender sich auf einen gemeinsamen, oft unsichtbaren Kontext beziehen. Noch weiß die Apparatur nichts von ihrem Tun, es werden lediglich externe Ereignisse registriert und diese mit inneren Zuständen zu Antworten und Reaktionen verrechnet. Die elektronische Hardware fungiert dabei als Substrat und offenes Gefäß, das unterschiedliche Programme aufnehmen und so unterschiedliche Logiken der Interaktion realisieren kann. Im Programm selbst finden wir nur ein Spiel von Zeichen, das Größen und Symbole nach festen Regeln in Beziehung setzt und das Ergebnis in den Displays anzeigt oder mit Hilfe von Aktoren in Handlungen übersetzt. Wie aber halten die Zeichen die Verbindung zur Welt? Oder andersherum: Wie kommt ein Stück Welt in die Maschine? Am Beispiel der Geometrie wird in groben Zügen nachvollzogen, welche Abstraktionen, Idealisierungen und Modellvorstellungen im Spiel sind, bis geometrische Primitive als manipulierbare Objekte im Computer zur Verfügung stehen. Die verschiedenen Abstraktionsebenen, vom Anwendungsmodell über verschiedene formale Spezifikations-­‐ und Softwareebenen bis zum binären Prozessorbefehl sind ein gut untersuchtes Feld im Software-­‐Engineering. Doch die Quantifizierung und Formalisierung markiert nur den Weg in die Maschine und damit nur die Hälfte der Strecke. Im Vollzug des Rechnens findet eine Konkretisierung und Rekontextualisierung des Formalen statt. Zeichen werden rücktransformiert in Kontingenz und wahrnehmbare Qualität. Während im Zuge der Abstraktion eine radikale Säuberung des modellierten Weltausschnitts erfolgt die alles Sinnliche entfernt, sehen wir beim Prozessieren der Algorithmen die Umkehrung. Das nackte Skelett wird wieder angereichert und die ganze Fülle an Gedanken, Gefühlen und Interpretationsmöglichkeiten entfaltet sich aufs Neue. Doch wird nicht zurückgepackt was ehemals weggenommen wurde, sondern Anderes, das sich aus unterschiedlichen Quellen speist. Hier, in den Leerstellen der formalen Beschreibungen, nisten wesentliche Anteile des Reichtums, der Vielfalt und Qualität des Digitalen. Das Formale und das Konkrete dürfen aber nicht als Widersacher im Ringen um Fülle und Ästhetik betrachtet werden, sie bilden ein kraftvolles Gespann. Kluger Umgang könnte darin bestehen, die prinzipiellen Grenzen und Möglichkeiten des Formalen zu kennen, sich der instrumentellen Vernunft aber nicht auszuliefern, sondern sie in ihrer Wechselwirkung mit dem Konkreten zu untersuchen und fruchtbar zu machen.Quantification, formalization, and functionalization of our lifeworld are marking the way of the concrete into the machine. But in the process of calculation the phenomenons and contingencies come back. Here we consider this dependencies on the real world

Informatics Inside : Grenzen überwinden - Virtualität erweitert Realität : Informatik-Konferenz an der Hochschule Reutlingen, 11. Mai 2011

Die Informatics Inside-Konferenz findet in diesem Jahr zum dritten Mal statt. Mit dem Thema "Grenzen überwinden – Virtualität erweitert Realität" stellt sich die Veranstaltung einem aktuellen Schwerpunkt, der viele Interessierte aus Wirtschaft, Wissenschaft und Forschung anzieht. Die Konferenz hat sich von einer Veranstaltung für die Masterstudenten des Studiengangs Medien- und Kommunikationsinformatik zu einer offenen Studentenkonferenz entwickelt. Um die Qualität weiter zu steigern wurde parallel dazu ein zweistufiges Review-Verfahren für Beiträge dieses Tagungsbandes eingeführt

Simulierte Welten – die Zukunft im Rechner

Wie kommen die „Kachelmänner“ dieser Welt eigentlich zu ihren detaillierten Vorhersagen? Und warum liegen sie manchmal trotzdem so daneben? Was veranlasst Automobilhersteller, das Ende der Ära des Prototypen anzukündigen? Liegt die wiedergekehrte Ruhe im Mururoa-Atoll wirklich darin begründet, dass man im fernen Paris zur Einsicht gelangt ist? Und wer gibt der Voyager-Sonde ihren merkwürdig anmutenden Weg vor, der sie – obwohl schnurstracks unterwegs in Regionen, die nie ein Mensch zuvor gesehen hat – doch wieder an die Erde heranführt? Das Zauberwort heißt numerische Simulation. Auf leistungsfähigen Großrechnern – seien es klassische Supercomputer oder Cluster aus vernetzten PCs – nachgestellte oder vorausberechnete Phänomene und Prozesse aus Natur-, Ingenieur- oder Wirtschaftswissenschaften spielen in Forschung und Entwicklung eine immer wichtigere Rolle. Dies gilt für die eingangs genannten Beispiele ebenso wie für zahlreiche Anwendungen in der Astrophysik, Halbleiter- und Biotechnologie oder in der Systemdynamik sowie – ganz konkret und für alle T-Geplagten relevant – für Aktienkursprognosen

Management und IT: Tagungsband zur AKWI-Fachtagung vom 16. bis 18.09.2012 an der Hochschule Pforzheim

Wirtschaftsinformatik befasst sich mit allen Themen, die an der Schnittstelle zwischen Informatik und Betriebswirtschaft anzutreffen sind. So geht es in der Wirtschaftsinformatik – basierend auf dem Wissen und dem Verstehen der betriebswirtschaftlichen Konzepte und Anwendungen – insbesondere darum, IT-Systeme für die betriebliche Praxis zu entwickeln, einzuführen und zu betreiben. Eine wissenschaftliche Fachtagung, die den Titel „Management und IT“ trägt, setzt an einer solchen Beschreibung der Wirtschaftsinformatik an

Forum - Ausgabe 2006/2007

Informiert über die Forschungsaktivitäten an der Hochschule Konstanz im Jahr 2006/2007

Entwicklung eines datenbankgestützten Black-Box-Testverfahrens am Beispiel des virtuellen Rathauses der Stadt Hagen

Ziel der Diplomarbeit ist die Entwicklung einer datenbankgestützten Anwendungssoftware, deren Aufgabe es ist, das Internetportal der Stadt Hagen hinsichtlich bestimmter Grundfunktionen automatisiert zu überprüfen. Aufgrund der funktionalen Ausrichtung handelt es sich bei dem zu entwickelnden Prototypen um eine Software, die im Bereich Software-Qualitätsmanagement angesiedelt ist und dem sogenannten Black-Box-Verfahren zugeordnet werden kann