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 BibTeX
Gerd Herzog, Anselm Blocher, Klaus-Peter Gapp, Eva Stopp, Wolfgang Wahlster: VITRA: Verbalisierung visueller Information. 12-19 BibTeX
Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Erica Melis, Dan Nesmith, Jörn Richts, Jörg H. Siekmann: Die Beweisentwicklungsumgebung Omega-MKRP. 20-26 BibTeX
Jürgen Kreuziger, Rüdiger Dillmann: Einsatz von Lernverfahren bei der Durchführung von Manipulationsaufgaben. 27-36 BibTeX
P. Ganghoff, Axel Köhne, G. Näger, U. Osmers: KNOSPE - Ein unterstützendes Planungssystem für die integrierte Montagesystemplanung. 37-43 BibTeX

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

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

Softwaretechnik

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

Regulärer Beitrag

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