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
H. W. Hofmann: Einsatz moderner Informationstechnik im militärischen Bereich: Für den Verteidiger notwendig und verantwortbar. 11-23
Karl-Hans Bläsius, Jörg H. Siekmann: Computergestützte Frühwarn- und Entwscheidungssysteme. 24-39
Hartmut Wedekind: Fertigungsdatenbanken - Das aktuelle Schlagwort. 40-45
Friedemann Mattern: Das Actor-Modell - Das aktuelle Schlagwort. 41-43
Günter Enderle: Schwingspiegel-Display - Das aktuelle Schlagwort. 43-45

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

Wolfgang Hesse: Software-Qualitätssicherung - Editorial. 119-120
Jan Witt: Zur Quantifizierung der Software-Qualität. 121-122
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
H. Dieter Rombach, Victor R. Basili: Quantitative Software-Qualitätssicherung: Eine Methode zur Definition und Nutzung geeigneter Maße. 145-158
Reinhold Franck, Olaf Langmack, Andreas Spillner, Thomas Weitzel, Claus Wickboldt, Gerrit Winter: Das Projekt EVA - Ein Ausbildungsprojekt im Bereich der Qualitässicherung. 159-163
Eberhard Wegner: Normenkonformität und Konfirmitätsprüfung für Software - Das aktuelle Schlagwort. 166
Eckart Hundt: Hidden Line und Hidden Surface - Das aktuelle Schlagwort. 167-168
Kurt Geihs: Lightweight Processes - Das aktuelle Schlagwort. 169

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

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

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