Informatik - Forschung und Entwicklung, Band 9

Band 9, Heft 1, 1994

• Franz Schober: Modellgestützte Kapazitäts- und Konfigurationsplanung für ein Bürokommunikationssystem. 1-8
• Friedrich Gebhardt: Interessantheit als Kriterium für die Bewertung von Ergebnissen. 9-21
• Helmut Balzert: Das JANUS-System. 22-35

Band 9, Heft 2, 1994

• Andreas Reuter, Jörg Röhrle: Ein regelbasierter Testdatengenerator für das Rapid Prototyping von Datenbankanwendungen. 57-71
• Peter G. Bouillon, Georg Sander, Reinhard Wilhelm: Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung. 72-81
• Peter Liggesmeyer: Eine Methode zur Konstruktion von Prüfstrategien für Software. 82-92
• Heinz-Gerd Hegering, Sebastian Abeck, Th. Böhnke, K. Heiler: Erweiterung von OSI-Management-Objektbeschreibungen als Basis für eine effektive Implementierung der Managementinformationsbasis. 93-106

Band 9, Heft 3, 1994

• Gregor Snelting, Bernd Fischer, Franz-Josef Grosch, Matthias Kievernagel, Andreas Zeller: Die inferenzbasierte Softwareentwicklungsumgebung NORA. 116-131
• Wilhelm Hasselbring: Formale Spezifikation und Prototyping im Sprachentwurf. 132-140
• Rainer Fehling, Wilhelm Schäfer: Arbeitsteilige Konstruktion von Software-Architekturen mit dem Werkzeug OPUS. 141-152
• Peter Liggesmeyer: Software-Komplexitätsmetriken zur Testunterstützung. 153-166

Band 9, Heft 4, 1994

• Wolfgang Hesse, Michael Frese: Zur Arbeitssituation in der Software-Entwicklung. 179-191
• Maritta Heisel, Debora Weber-Wulff: Korrekte Software: Nur eine Illusion? 192-200
• C. Bies, Bernhard Mitschang, P. Mitschang: Beanspruchungsgerechtes Konstruieren. 201-212