Wissenschaftliche LiteraturhaltungInformatik

Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

MBMV 2012

Forschungsergebnisse zur Informatik

Der Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV 2012) ist bereits das fünfzehnte gemeinsame Treffen der Fachgruppen 3 und 4 der Kooperationsgemeinschaft "Rechnergestützter Schaltungs- und Systementwurf (RSS)" der Gesellschaft für Informatik…

Organisation der Unternehmensarchitektur

Entwicklung der aufbau- und ablauforganisatorischen Strukturen unter besonderer Berücksichtigung des Gestaltungsziels Konsistenzerhaltung

Studien zur Wirtschaftsinformatik

Unternehmen sehen sich seit einigen Jahren permanenten Veränderungen ihrer gesellschaftlichen und wirtschaftlichen Rahmenbedingungen ausgesetzt. Infolgedessen müssen sie ihre Strategie in regelmässigen Abständen anpassen und die Unternehmensstrukturen, d. h. die internen Prozesse und Organisationsstrukturen sowie…

Die Vereinbarkeit von Zugangskontrollen für gewerbliche Spielstätten mit dem Grundrecht auf informationelle Selbstbestimmung

Schriftenreihe zum Datenschutz- und Informationsrecht

Der Glücksspielstaatsvertrag schreibt Zugangskontrollen für Automatensäle der Spielbanken vor. Einhergehend mit der am 01. Januar 2008 in Kraft getretenen Regelung werden Umsatzeinbußen und eine Abwanderung von Kunden zu gewerblichen Spielstätten beklagt. Daher fordern die Spielbanken entsprechende Maßnahmen auch…

Entwicklung objektorientierter Konzepte zur Erstellung paralleler und verteilter Systeme des rechnergestützten Schaltungsentwurfs

Forschungsergebnisse der Programmentwicklung

Der rechnergestützte Entwurf von integrierten Schaltungen muss vor allem die ständige Weiterentwicklung der Schaltkreistechnologie berücksichtigen. Durch immer feinere Strukturgrößen bei gleichzeitig zunehmender Chipfläche wurde es möglich, immer umfassendere und komplexere Schaltungen auf einem Chip zu…

Institutionalisierte Wiederverwendung von Software-Bausteinen und deren Komposition

Am Beispiel von Software-Werkzeugen aus dem Schaltungsentwurf

Forschungsergebnisse zur Informatik

Die zunehmende Komplexität technischer Systeme, die heutzutage in nahezu allen Lebensbereichen Einzug halten, erfordert bei deren Entwicklung einen massiven Einsatz von Entwurfswerkzeugen auf Software-Basis. Die extrem kurzen Innovationszyklen in der Technologie dieser Systeme erfordern eine rasche und hochflexible…

Planung und Durchführung methodischer Entwurfsaktivitäten

Forschungsergebnisse zur Informatik

Für den Entwurf integrierter Schaltungen steht eine Vielzahl hochentwickelter rechnergestützter Werkzeuge auf der Basis integrierter Entwurfsumgebungen zur Verfügung. Trotzdem ist auch der rechnergestützte Schaltungsentwurf nicht frei von Problemen.

Einerseits hat die Komplexität integrierter Schaltungen…

Objektorientierte Integration von autonomen Datenhaltungssystemen

Studien zur Datenbankforschung

In vielen Einsatzbereichen der Informatik müssen Anwendungen heute Daten aus mehreren eigenständigen Datenbasen bearbeiten und verknüpfen. Da hierbei meist verschiedenste Datenhaltungssysteme - von Dateisystemen über konventionelle bis hin zu fortgeschrittenen objektorientierten Datenbanksystemen - im Spiel sind,…

Selbsttestbare Steuerwerke

Strukturen und Syntheseverfahren

Forschungsergebnisse zur Informatik

Die großen Fortschritte in der Fertigungstechnologie für mikroelektronische Systeme erlauben mittlerweile, hochkomplexe Systeme auf einem Chip zu realisieren. Solche Systeme, die in der Regel verschiedene Komponenten, wie zum Beispiel eingebettete Prozessoren, Speicher und anwendungsspezifische Logik integrieren,…

Spieltheoretische Modelle zur Optimierung von stichprobenartigen Vor-Ort-Inspektionen

Studien zur Wirtschaftsinformatik

Vertraglich geregelte Vereinbarungen ziehen die Notwendigkeit einer Verifikation der Einhaltung aller hierdurch von den beteiligten Parteien eingegangenen Verpflichtungen nach sich. Ausschließlich mit Hilfe einer formalen Verifikationsmethode als quantitativer Basis ist die Analyse optimaler Inspektionsverfahren…

Synthese assoziativer Steuerwerke

Forschungsergebnisse zur Informatik

Mit Ausweitung der Forschungs- und Entwicklungstätigkeiten auf dem Arbeitsgebiet der Schaltungssynthese auf höhere Abstraktionsebenen gewannen in jüngster Zeit die in diesen Zusammenhängen auftauchenden Fragestellungen und Vorgehensweisen zunehmend Einfluss auf die Steuerwerkssynthese. So stellen insbesondere die…