Informatik Spektrum, Band 10, 1987

Band 10, Heft 1, Februar 1987

David Lorge Parnas: Warum ich an SDI nicht mitarbeite: Eine Auffassung beruflicher Verantwortung. 3-10 BibTeX
H. W. Hofmann: Einsatz moderner Informationstechnik im militärischen Bereich: Für den Verteidiger notwendig und verantwortbar. 11-23 BibTeX
Karl-Hans Bläsius, Jörg H. Siekmann: Computergestützte Frühwarn- und Entwscheidungssysteme. 24-39 BibTeX
Hartmut Wedekind: Fertigungsdatenbanken - Das aktuelle Schlagwort. 40-45 BibTeX
Friedemann Mattern: Das Actor-Modell - Das aktuelle Schlagwort. 41-43 BibTeX
Günter Enderle: Schwingspiegel-Display - Das aktuelle Schlagwort. 43-45 BibTeX

Rüdiger Valk: Der Computer als Herausforderung an die menschliche Rationalität. 57-66 BibTeX
Klaus Estenfeld: Prolog-Implementierung: Konzepte und Realisierungen. 67-78 BibTeX
Friedrich Gebhardt: Semantisches Wissen in Datenbanken - Ein Literaturbericht. 79-98 BibTeX
Wolfgang Everling: Temporal Logic - Das aktuelle Schlagwort. 99-100 BibTeX
Peter Martini: Backbone-Netze - Das aktuelle Schlagwort. 100-102 BibTeX

Wolfgang Hesse: Software-Qualitätssicherung - Editorial. 119-120 BibTeX
Jan Witt: Zur Quantifizierung der Software-Qualität. 121-122 BibTeX
Hans-Ludwig Hausen, Monika Müllerburg, Monika Schmidt: Über das Prüfen, Messen und Bewerten von Software: Methoden und Techniken der analytischen Software-Qualitätssicherung. 123-144 BibTeX
H. Dieter Rombach, Victor R. Basili: Quantitative Software-Qualitätssicherung: Eine Methode zur Definition und Nutzung geeigneter Maße. 145-158 BibTeX
Reinhold Franck, Olaf Langmack, Andreas Spillner, Thomas Weitzel, Claus Wickboldt, Gerrit Winter: Das Projekt EVA - Ein Ausbildungsprojekt im Bereich der Qualitässicherung. 159-163 BibTeX
Eberhard Wegner: Normenkonformität und Konfirmitätsprüfung für Software - Das aktuelle Schlagwort. 166 BibTeX
Eckart Hundt: Hidden Line und Hidden Surface - Das aktuelle Schlagwort. 167-168 BibTeX
Kurt Geihs: Lightweight Processes - Das aktuelle Schlagwort. 169 BibTeX

Gustav Pomberger, Ernest Wallmüller: Ada und Modula-2 - ein Vergleich. 181-191 BibTeX
Karl Heinz Höhne: 3D-Bildverarbeitung und Computer-Graphik in der Medizin. 192-204 BibTeX
Für eine breitere Diskussion über das Für und Wider des ISBN - Zur Diskussion gestellt. 205-214 BibTeX
E. Braun: BIGFON - Das aktuelle Schlagwort. 216-217 BibTeX
Jürgen Suppan-Borowka: TOP - Technical and Office Protocols - Das aktuelle Schlagwort. 218-220 BibTeX
K. Jacobs: Directory-Systeme - Das aktuelle Schlagwort. 220-221 BibTeX

Heinz Schwärtzel: Editorial. 235 BibTeX
Alarich Weiss: Empfehlungen des Wissenschaftsrates zur Ausstattung der Hochschulen mit Rechnerkapazität. 236-238 BibTeX
Jochem Poller, Joachim Rix: Harmonisierung graphischer Standards, PHI-GKS sichert Kompatibilität von PHIGS zu GKS-3D. 239-245 BibTeX
Michael Stumm: Verteilte Systeme: Eine Einführung am Beispiel V. 246-261 BibTeX
David Chaum: Sicherheit ohne Identifizierung: Scheckkartencomputer, die den Großen Bruder der Vergangenheit angehören lassen - Zur Diskussion gestellt. 262-277 BibTeX
Ralf Guido Herrtwich: Quorum-Übereinkunft - Das aktuelle Schlagwort. 278-279 BibTeX

Frank Puppe: Diagnostik-Expertensysteme. 293-308 BibTeX
Helmuth Partsch, Bernhard Möller: Konstruktion korrekter Programme durch Transformation. 309-323 BibTeX
Hartmut Wedekind: Gibt es eine Ethik der Informatik? Zur Diskussion gestellt. 324-328 BibTeX
Rafael Capurro: Die Informatik und das hermeneutische Forschungsprogramm, Anmerkungen zu einem neuen Ansatz - Zur Diskussion gestellt. 329-333 BibTeX
Bernd Kühnel, Helmuth Partsch, K.-P. Reinshagen: Requirements Engineering - Das aktuelle Schlagwort. 334-335 BibTeX
G. Mauri: Window-Systeme - Das aktuelle Schlagwort. 336-337 BibTeX