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

ISBN-13: 9783540553892 / Niemiecki / Miękka / 1992 / 344 str.

Hans-Jorg Kreowski

Opis

Papers from a colloquium held by the Studiengang Informatik of the Universit'at Bremen in June 1990.

Spis treści

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 Software—Methoden, 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 denken—eine 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 Franck—Anmerkungen zum Thema „Wissenschaftler und Leben“—.