Informatik - Forschung und Entwicklung, Band 11

Band 11, Heft 1, 1996

• 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

• 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

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

Last update Mon Feb 13 04:48:59 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page