Informatik zwischen Wissenschaft und Gesellschaft 1992 - Zur Erinnerung an Reinhold Franck

Hans-Jörg Kreowski (Ed.): Informatik zwischen Wissenschaft und Gesellschaft, Zur Erinnerung an Reinhold Franck. Informatik-Fachberichte 309 Springer 1992, ISBN 3-540-55389-4

@proceedings{DBLP:conf/birthday/1992franck,
  editor    = {Hans-J{\"o}rg Kreowski},
  title     = {Informatik zwischen Wissenschaft und Gesellschaft, Zur Erinnerung
               an Reinhold Franck},
  booktitle = {Informatik zwischen Wissenschaft und Gesellschaft},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {309},
  year      = {1992},
  isbn      = {3-540-55389-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Teil 1: Themenbereich Softwaretechnik

Björn Brünjes, Jens Herrmann, Jutta Hindersmann, Joachim Müller, Ingrid Nikschat-Tillwick, Andreas Spillner, Karin Vosseberg: Die wissenschaftlichen Arbeiten von Reinhold Franck. 1-31
Fevzi Belli, Alfred Schmidt: Systematische Dokumentation logischer Programme. 32-46
Hartmut Ehrig, Michael Löwe: From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach. 47-65
Klaus Grimm: Systematisches Testen sicherheitsrelevanter Software - Methoden, Verfahren und Werkzeuge. 66-107
Hans-Jörg Kreowski: Eine konkrete Utopie von korrekter Software. 108-124
Klaus-Peter Löhr: Nichtsequentielle Programmierung mit Eiffel. 125-148
Günter Matthiessen: NULL-Werte und dreiwertige Logik in SQL. 149-162
Monika Müllerburg: Ein Ansatz zur systematischen Auswahl von Software-Testmethoden. 163-179
Manfred Nagl: Modelling oft Software Architectures: Importance, Notions, Experiences. 180-201
Eike Hagen Riedemann: Testen von Software durch Mutationsanalyse: "ja, bitte" wegen der hohen Qualität oder "nein, danke" wegen des Aufwands und der prinzipiellen Probleme? 202-217
Thorsten Spitta: Organisation, Benutzer und Software. 218-232
Jürgen F. H. Winkler: Beispiele zur Rekursion von Reinhold Franck und anderen Autoren. 233-241

Teil 2: Themenbereich Informatik und Gesellschaft

Ute Bernhardt, Helga Genrich, Ingo Ruhmann: Der Prozeß Verantwortung. 242-254
Wolfgang Coy: Der moderne Charakter des Computers. 255-265
Manfred Domke: DUAL-USE: Berücksichtigung militärischer Anforderungen bei der zivilen Entwicklung neuer Technologien. 266-279
Wolfgang Hesse: Können Maschinen denken - eine kritische Auseinandersetzung imt der harten These der KI. 280-289
Heinzpeter Höller: Zur sozialen Relevanz von Büro- und Telekommunikationsstandards. 290-302
Stephan Klein, Herbert Kubicek: Der kartengesteuerte Zahlungsverkehr in der Bundesrepublik Deutschland unter besonderer Berücksichtigung des Daten- und Verbraucherschutzes. 303-324
Ralf Klischewski, Arno Rolf: Informationstechnische Vernetzung und Kriegsunfähigkeit in hochentwickelten Industriegesellschaften. 325-340
Johannes Schnepel: Z.B. Reinhold Franck - Anmerkungen zum Thema "Wissenschaftler und Leben". 341-344