Band 11, Heft 1, 1996

Themenheft: Sonderforschungsbereich 314 - "Künstliche Intelligenz - Wissensbasierte Systeme"

• 
  Hans-Hellmut Nagel: Zur Strukturierung eines Bildfolgen-Auswertungssystems. 3-11
• 
  Gerd Herzog, Anselm Blocher, Klaus-Peter Gapp, Eva Stopp, Wolfgang Wahlster: VITRA: Verbalisierung visueller Information. 12-19
• 
  Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Die Beweisentwicklungsumgebung Omega-MKRP. 20-26
• 
  Jürgen Kreuziger, Rüdiger Dillmann: Einsatz von Lernverfahren bei der Durchführung von Manipulationsaufgaben. 27-36
• 
  Peter Ganghoff, Axel Köhne, Georg Näger, Ulf Osmers: KNOSPE - Ein unterstützendes Planungssystem für die integrierte Montagesystemplanung. 37-43

Band 11, Heft 2, 1996

• 
  Jürgen Avenhaus, Klaus Madlener: Theorembeweisen in hierarchischen bedingten Spezifikationen. 53-60
• 
  Christoph Brzoska: Temporales logisches Programmieren. 61-68
• 
  Bernhard Ziegler: ESS - Ein schneller Algorithmus zur Mustersuche in Zeichenfolgen. 69-83
• 
  Hans-Jörg Bullinger, Klaus-Peter Fähnrich, Christian Janssen: Ein Beschreibungskonzept für Dialogabläufe bei graphischen Benutzerschnittstellen. 84-93
• 
  Volker Gruhn: Geschäftsprozeß-Management als Grundlage der Software-Entwicklung. 94-101
• 
  Hans-Jörg Bullinger, K. F. Wißler: Rapid Product Development und Erprobung Innovativer Produkte - Sonderforschungsbereich 374. 103-107

Band 11, Heft 3, 1996

• 
  Stefan Greiner, Gunter Bolch: Approximative analytische Leistungsbewertung am Beispiel eines UNIX-basierten Multiprozessor Betriebssystems. 111-124
• 
  René-Marc Gille, Helmut Balzert: Generierung von Diagrammeditoren auf der Basis von OOA-Modellen. 125-135
• 
  Jens-Peter Akelbein, Hans Christoph Zeidler: Das Konzept eines File Controllers und seine Einbindung in bestehende Betriebssysteme. 136-148
• 
  H. Schreiter: Informatikforschung an der Technischen Universität Chemnitz-Zwickau. 152-159

Band 11, Heft 4, 1996

Softwaretechnik

• 
  Ernst-Erich Doberkat: Themenheft Softwaretechnik. 167
• 
  Arne Frick, Walter Zimmer, Wolf Zimmermann: Konstruktion robuster und flexibler Klassenbibliotheken. 168-178
• 
  Rudolf Berghammer: Wiederverwendbare Algorithmenschemata in ML am Beispiel von Graphdurchlauf-Problemen. 179-190
• 
  Andy Schürr, Andreas J. Winter, Albert Zündorf: Spezifikation und Prototyping graphbasierter Systeme. 191-202

Regulärer Beitrag

• 
  Thomas Beuter, Peter Dadam: Prinzipien der Replikationskontrolle in verteilten Datenbanksystemen. 203-212