Die 12. Jahrestagung der Gesellschaft fur Informatik an der Univer sitat Kaiserslautern steht unter dem thematischen Schwerpunkt nSYSTEMS ENGINEERING" in der Informatik. Unter dem Druck einer sehr geringen Zahl einge reichter Beitrage sind wir von dem Konzept der Vorjahre abgeruckt, die Tagung uberwiegend aus eingereichten Beitragen zu bestreiten. Der zweite Tag hat durch die eingeladenen tfbersichtsvortrage einen vor wiegend tutorialen Charakter und soll der Jahrestagung gegenuber den vielen Fachtagungen eine eigenstandige Attraktivitat verleihen. Die in tfbersichtsvortragen behandelten...

Eine unabdingbare Voraussetzung fur den Betrieb universeller verteilter DV-Systeme ist eine dezentral durchgefuhrte Zugriffssynchronisation. Diese muss fur global konkurrierende Zugriffe zu verteilten Daten das Korrektheitskriterium der Serialisierbarkeit garantieren. Es gibt zwar eine weitgehend ausgereifte Theorie fur die Serialisierbarkeit und teilweise auch fur die (zentrale) Zugriffssynchronisation, aber eine Theorie zur dezentralen Verwaltung steht noch aus. Das Kernproblem ist, dass es keinen global einheitlich beobachtbaren Systemzustand eines verteilten Systems gibt und dass trotzdem...

Auf Initiative der GI-Fachgruppe fur "Rechnerunterstutztes Entwerfen und Konstruieren ICAD) " fand im November 1982 an der Technischen Uni versitat Berlin eine Fachtagung zum Thema des "Geometrischen Modellie rens" statt, deren Referate und Diskussionen den Inhalt dieses Bandes bilden. Ubergeordnetes Ziel der Fachtagung war es, auf diesem wichtigen Schwerpunktgebiet des CAD-Bereichs eine Bestandsaufnahme uber den in Wissenschaft und Praxis erreichten Stand, insbesondere aus der Sicht des deutschsprachigen Raumes, durchzufuhren und die Bedeutung aktueller Ent wicklungsziele zu diskutieren....

Die Arbeitstagung "Requirements Engineering fur die Automatisierung von Systemen" wird vom Fachausschuss 4.3 "Requirements Engineering" der Gesellschaft fur Informatik in Zusammenarbeit mit der Fachgruppe 4.4.1 "Systematisches Entwerfen von PDV-Systemen," einer gemeinsamen Fach gruppe von GI und VDI/VDE-GMR, und mit dem Fachausschuss 4.2 "Rechner gestutztes Entwerfen und Projektieren (CAE)" veranstaltet. Unter Requirements Engineering wird hier die ingenieurmassige Ermitt lung der Anforderungen an die Automatisierung eines Systems und ihrer Aufarbeitung zur Realisierung in Hardware und...

In Oatenbanken wird Information verwaltet, die im allgemeinen von einem groBeren Benutzerkreis zusammengetragen und ausgewertet wird. Einzelne Benutzer stellen dabei an die Hilfsmittel, mit denen sie Da- ten definieren, verarbeiten und kontrollieren wollen, unterschiedli- che Anforderungen. Aus diesem Grunde bieten Datenbankverwaltungs- systeme verschiedene Schnittstellen an, die sich hinsichtlich Funk- tionalitat, sprachlicher Form, Interaktionsmodus etc. erheblich unterscheiden konnen. Die Einladung zum Fachgesprach "Sprachen fOr Datenbanken" richte- te sich an einen Teilnehmerkreis mit...

Die Gesellschaft fur Informatik bietet ihren Mitgliedern, den auf dem Ge- biet der Informatik tatigen Fachleuten und in zunehmendem MaBe auch der Offentlichkeit auf ihren Jahrestagungen einen Uberblick uber aktuelle Entwicklungen ihres Gebietes. Die 13. Jahrestagung in Hamburg, fur die der Erste Burgermeister Klaus v. Dohnanyi die Schirmherrschaft ubernommen hat, steht unter dem Leit- thema "Neuere Sprachkonzepte und Architekturen informationsverarbeitender Systeme" Das Hauptprogramm enthalt eingeladene Hauptvortrage mit Ubersichtscha- rakter sowie Fachbeitrage, die aus den eingereichten...

Kapitel 2 umfaBt zuniichst eine verbale Beschreibung der fur die Mikroprogrammierung wichtigen Begriffe und Techniken (Abschnitt 2.1), wobei zur Erliiuterung abstrakte Maschinen oder Maschinen elemente dargestellt werden. Danach folgt in Abschnitt 2.2, aufbauend auf dem sogenannten Tupelmodell von Mikrooperationen, eine formale Priizisierung der eingefuhrten Begriffe. Zur Veranschaulichung werden in diesem Abschnitt Beispiele konkreter mikroprogrammierter Maschinen verwendet. Es handelt sich dabei jeweils urn Strukturen auf der Basis von Bitslice-Mikroprozessoren, also denjenigen Elementen,...

1m vorliegenden Bericht tiber Software-Fehlertoleranz und -Zuverlassigkeit wird ein Problemkreis aus dem weitgefacherten Themenkomplex der Fehlertoleranz in Rechensystemen aufgegriffen, der in den letzten Jahren zunehmend an Bedeutung und Interesse gewonnen hat. Wahrend in der Vergangenheit ein Schwerpunkt der Fehlertoleranz-Konzepte und -Realisierungen darin lag, die Zuverlassigkeit von Rechensystemen durch MaBnahmen gegen den Ausfall von Hardware-Komponenten zu erhohen, wachst zusehends der Bedarf, auch Software in diese Bemtihungen mit einzubeziehen. Mit dem Einsatz von Rechensystemen in...

Dieser Band enthalt die schriftlichen Beitrage zu den Fachgesprachen, die wahrend der 14. Jahrestagung der Gesellschaft fUr Informatik in Braunschweig veranstaltet wurden. Die Beitrage zum Hauptprogramm werden in einem gleichzeitig in derselben Reihe erscheinenden separaten Ta- gungsband verbffentlicht. Die 14. Jahrestagung der Gesellschaft fUr Informatik steht unter dem Leitthema "Informatik und Ingenieurwissenschaften" Daran orientieren sich auch die hier verbffentlichten Fachgesprache. Der FachausschuB 4.2 der GI, "RechnergestUtztes Entwerfen und Projektieren", ist mit zwei Fachgesprachen...

Erste Ideen zur vorliegenden Arbeit sind wiihrend des Forschungsaufenthaltes am IBM Research Lab in San Jose, Kalifomien entstanden. In der Forschungsgruppe von R. A. Lorie ging es darum, System R (eines der ersten relationalen Datenbanksysteme konzipiert nach den Ideen von E. F. Codd) fur technische Anwendungen zu erweitem. Die fachliche Auseinandersetzung mit den Kollegen im Research Lab und die regen Kontakte mit den nicht weniger bekannten Datenbankgruppen der Stanford University, der University of California at Berkeley und des Lawrence Berkeley Lab haben mich motiviert, die eigenen...