Journal: Inform., Forsch. Entwickl.

Volume 11, Issue 4

167 -- 0Ernst-Erich Doberkat. Themenheft Softwaretechnik
168 -- 178Arne Frick, Walter Zimmer, Wolf Zimmermann. Konstruktion robuster und flexibler Klassenbibliotheken
179 -- 190Rudolf Berghammer. Wiederverwendbare Algorithmenschemata in ML am Beispiel von Graphdurchlauf-Problemen
191 -- 202Andy Schürr, Andreas J. Winter, Albert Zündorf. Spezifikation und Prototyping graphbasierter Systeme
203 -- 212Thomas Beuter, Peter Dadam. Prinzipien der Replikationskontrolle in verteilten Datenbanksystemen

Volume 11, Issue 3

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

Volume 11, Issue 2

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

Volume 11, Issue 1

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