Ebook: Informatik zwischen Wissenschaft und Gesellschaft: Zur Erinnerung an Reinhold Franck Proceedings

Dieser Sammelband erinnert an Prof. Dr. Reinhold Franck, der im M{rz 1990 bei einer Bergtour verungl}ckt ist. In seiner fachlichen Arbeit an der Universit{t Bremen hat er die Gebiete Rechnernetze und Softwaretechnik vertreten. Daneben hat er sich stark im Bereich der Informatik und Gesellschaft engagiert. Deshalb sind in diesem Band Arbeiten aus Gebieten versammelt, die sonst nicht oft aufeinandertreffen. Da zudem die Autorinnen und Autoren sowohl aus Hochschulen und Forschungseinrichtungen als auch aus der Industrie kommen, besteht der Reiz des Bandes in der Gegen}berstellung von Beitr{gen mit Softwaretechnik sowie Informatik und Gesellschaft als thematischen Schwerpunkt: eine Fundgrube im Spannungsfeld zwischen aktuellen softwaretechnischen Entwicklungen und ihren gesellschaftlichen Auswirkungen.

---

Dieser Sammelband erinnert an Prof. Dr. Reinhold Franck, der im M{rz 1990 bei einer Bergtour verungl}ckt ist. In seiner fachlichen Arbeit an der Universit{t Bremen hat er die Gebiete Rechnernetze und Softwaretechnik vertreten. Daneben hat er sich stark im Bereich der Informatik und Gesellschaft engagiert. Deshalb sind in diesem Band Arbeiten aus Gebieten versammelt, die sonst nicht oft aufeinandertreffen. Da zudem die Autorinnen und Autoren sowohl aus Hochschulen und Forschungseinrichtungen als auch aus der Industrie kommen, besteht der Reiz des Bandes in der Gegen}berstellung von Beitr{gen mit Softwaretechnik sowie Informatik und Gesellschaft als thematischen Schwerpunkt: eine Fundgrube im Spannungsfeld zwischen aktuellen softwaretechnischen Entwicklungen und ihren gesellschaftlichen Auswirkungen.

---

Dieser Sammelband erinnert an Prof. Dr. Reinhold Franck, der im M{rz 1990 bei einer Bergtour verungl}ckt ist. In seiner fachlichen Arbeit an der Universit{t Bremen hat er die Gebiete Rechnernetze und Softwaretechnik vertreten. Daneben hat er sich stark im Bereich der Informatik und Gesellschaft engagiert. Deshalb sind in diesem Band Arbeiten aus Gebieten versammelt, die sonst nicht oft aufeinandertreffen. Da zudem die Autorinnen und Autoren sowohl aus Hochschulen und Forschungseinrichtungen als auch aus der Industrie kommen, besteht der Reiz des Bandes in der Gegen}berstellung von Beitr{gen mit Softwaretechnik sowie Informatik und Gesellschaft als thematischen Schwerpunkt: eine Fundgrube im Spannungsfeld zwischen aktuellen softwaretechnischen Entwicklungen und ihren gesellschaftlichen Auswirkungen.
Content:
Front Matter....Pages I-VIII
Die Wissenschaftlichen Arbeiten von Reinhold Franck....Pages 1-31
Systematische Dokumentation logischer Programme....Pages 32-46
From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach....Pages 47-65
Systematisches Testen sicherheitsrelevanter Software — Methoden, Verfahren und Werkzeuge....Pages 66-107
Eine konkrete Utopie von korrekter Software....Pages 108-124
Nichtsequentielle Programmierung mit Eiffel....Pages 125-148
NULL-Werte und dreiwertige Logik in SQL....Pages 149-162
Ein Ansatz zur systematischen Auswahl von Software-Testmethoden....Pages 163-179
Modelling of Software Architectures: Importance, Notions, Experiences....Pages 180-201
Testen von Software durch Mutationsanalyse: „ja, bitte“ wegen der hohen Qualit?t oder „nein, danke“ wegen des Aufwands und der prinzipiellen Probleme?....Pages 202-217
Organisation, Benutzer und Software....Pages 218-232
Beispiele zur Rekursion von Reinhold Franck und anderen Autoren....Pages 233-241
Der Proze? Verantwortung....Pages 242-254
Der moderne Charakter des Computers....Pages 255-265
DUAL-USE: Ber?cksichtigung milit?rischer Anforderungen bei der zivilen Entwicklung neuer Technologien....Pages 266-279
K?nnen Maschinen denken — eine kritische Auseinandersetzung mit der harten These der KI....Pages 280-289
Zur sozialen Relevanz von B?ro- und Telekommunikationsstandards....Pages 290-302
Der kartengesteuerte Zahlungsverkehr in der Bundesrepublik Deutschland unter besonderer Ber?cksichtigung des Daten- und Verbraucherschutzes....Pages 303-324
Informationstechnische Vernetzung und Kriegsunf?higkeit in hochentwickelten Industriegesellschaften....Pages 325-340
Z.B. Reinhold Franck....Pages 341-344

---

Dieser Sammelband erinnert an Prof. Dr. Reinhold Franck, der im M{rz 1990 bei einer Bergtour verungl}ckt ist. In seiner fachlichen Arbeit an der Universit{t Bremen hat er die Gebiete Rechnernetze und Softwaretechnik vertreten. Daneben hat er sich stark im Bereich der Informatik und Gesellschaft engagiert. Deshalb sind in diesem Band Arbeiten aus Gebieten versammelt, die sonst nicht oft aufeinandertreffen. Da zudem die Autorinnen und Autoren sowohl aus Hochschulen und Forschungseinrichtungen als auch aus der Industrie kommen, besteht der Reiz des Bandes in der Gegen}berstellung von Beitr{gen mit Softwaretechnik sowie Informatik und Gesellschaft als thematischen Schwerpunkt: eine Fundgrube im Spannungsfeld zwischen aktuellen softwaretechnischen Entwicklungen und ihren gesellschaftlichen Auswirkungen.
Content:
Front Matter....Pages I-VIII
Die Wissenschaftlichen Arbeiten von Reinhold Franck....Pages 1-31
Systematische Dokumentation logischer Programme....Pages 32-46
From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach....Pages 47-65
Systematisches Testen sicherheitsrelevanter Software — Methoden, Verfahren und Werkzeuge....Pages 66-107
Eine konkrete Utopie von korrekter Software....Pages 108-124
Nichtsequentielle Programmierung mit Eiffel....Pages 125-148
NULL-Werte und dreiwertige Logik in SQL....Pages 149-162
Ein Ansatz zur systematischen Auswahl von Software-Testmethoden....Pages 163-179
Modelling of Software Architectures: Importance, Notions, Experiences....Pages 180-201
Testen von Software durch Mutationsanalyse: „ja, bitte“ wegen der hohen Qualit?t oder „nein, danke“ wegen des Aufwands und der prinzipiellen Probleme?....Pages 202-217
Organisation, Benutzer und Software....Pages 218-232
Beispiele zur Rekursion von Reinhold Franck und anderen Autoren....Pages 233-241
Der Proze? Verantwortung....Pages 242-254
Der moderne Charakter des Computers....Pages 255-265
DUAL-USE: Ber?cksichtigung milit?rischer Anforderungen bei der zivilen Entwicklung neuer Technologien....Pages 266-279
K?nnen Maschinen denken — eine kritische Auseinandersetzung mit der harten These der KI....Pages 280-289
Zur sozialen Relevanz von B?ro- und Telekommunikationsstandards....Pages 290-302
Der kartengesteuerte Zahlungsverkehr in der Bundesrepublik Deutschland unter besonderer Ber?cksichtigung des Daten- und Verbraucherschutzes....Pages 303-324
Informationstechnische Vernetzung und Kriegsunf?higkeit in hochentwickelten Industriegesellschaften....Pages 325-340
Z.B. Reinhold Franck....Pages 341-344
....