Informatik - Forschung und Entwicklung, Band 11

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
P. Ganghoff, Axel Köhne, G. Näger, U. Osmers: KNOSPE - Ein unterstützendes Planungssystem für die integrierte Montagesystemplanung. 37-43

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

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

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