Informatik zwischen Wissenschaft und Gesellschaft

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"-.