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 BibTeX
Friedrich Gebhardt: Interessantheit als Kriterium für die Bewertung von Ergebnissen. 9-21 BibTeX
Helmut Balzert: Das JANUS-System. 22-35 BibTeX

Andreas Reuter, Jörg Röhrle: Ein regelbasierter Testdatengenerator für das Rapid Prototyping von Datenbankanwendungen. 57-71 BibTeX
Peter G. Bouillon, Georg Sander, Reinhard Wilhelm: Lokale Optimierung ausnahmebehafteter Programme durch Spuroptimierung. 72-81 BibTeX
Peter Liggesmeyer: Eine Methode zur Konstruktion von Prüfstrategien für Software. 82-92 BibTeX
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 BibTeX

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

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