External Links

    Journal: Informatik Spektrum

    Volume 10, Issue 6

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

    Volume 10, Issue 5

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

    Volume 10, Issue 4

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

    Volume 10, Issue 3

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

    Volume 10, Issue 2

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

    Volume 10, Issue 1

    3 -- 10David Lorge Parnas. Warum ich an SDI nicht mitarbeite: Eine Auffassung beruflicher Verantwortung
    24 -- 39Karl-Hans Bläsius, Jörg H. Siekmann. Computergestützte Frühwarn- und Entwscheidungssysteme
    40 -- 45Hartmut Wedekind. Fertigungsdatenbanken - Das aktuelle Schlagwort
    41 -- 43Friedemann Mattern. Das Actor-Modell - Das aktuelle Schlagwort
    43 -- 45Günter Enderle. Schwingspiegel-Display - Das aktuelle Schlagwort
    runs on