Informatik zwischen Wissenschaft und Gesellschaft

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.

Inhalt
1: Themenbereich Softwaretechnik.- Die wissenschaftlichen Arbeiten von Reinhold Franck.- Systematische Dokumentation logischer Programme.- From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach.- Systematisches Testen sicherheitsrelevanter SoftwareMethoden, Verfahren und Werkzeuge.- Eine konkrete Utopie von korrekter Software.- Nichtsequentielle Programmierung mit Eiffel.- NULL-Werte und dreiwertige Logik in SQL.- Ein Ansatz zur systematischen Auswahl von Software-Testmethoden.- Modelling of Software Architectures: Importance, Notions, Experiences.- Testen von Software durch Mutationsanalyse: ja, bitte wegen der hohen Qualität oder nein, danke wegen des Aufwands und der prinzipiellen Probleme ?.- Organisation, Benutzer und Software.- Beispiele zur Rekursion von Reinhold Franck und anderen Autoren.- 2: Themenbereich Informatik und Gesellschaft.- Der Prozeß Verantwortung.- Der moderne Charakter des Computers.- DUAL-USE: Berücksichtigung militärischer Anforderungen bei der zivilen Entwicklung neuer Technologien.- Können Maschinen denkeneine kritische Auseinandersetzung mit der harten These der KI.- Zur sozialen Relevanz von Büro- und Telekommunikationsstandards.- Der kartengesteuerte Zahlungsverkehr in der Bundesrepublik Deutschland unter besonderer Berücksichtigung des Daten- und Verbraucherschutzes.- Informationstechnische Vernetzung und Kriegsunfähigkeit in hochentwickelten Industriegesellschaften.- Z. B. Reinhold FranckAnmerkungen zum Thema Wissenschaftler und Leben.