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
  

Band 10, Heft 2, April 1987

• 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

Band 10, Heft 3, Juni 1987

• 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

Band 10, Heft 4, August 1987

• 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
  

Band 10, Heft 5, Oktober 1987

• 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

Band 10, Heft 6, Dezember 1987

• 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

Last update Tue Feb 14 04:19:27 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page