Informatik zwischen Wissenschaft und Gesellschaft : zur Erinnerung an Reinhold Franck : proceedings
著者
書誌事項
Informatik zwischen Wissenschaft und Gesellschaft : zur Erinnerung an Reinhold Franck : proceedings
（Informatik-Fachberichte, 309）
Springer-Verlag, c1992
- : gw
- : us
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Papers from a colloquium held by the Studiengang Informatik of the Universität Bremen in June 1990
Includes bibliographical references
内容説明・目次
内容説明
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.
目次
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 Qualitat 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 Prozess Verantwortung.- Der moderne Charakter des Computers.- DUAL-USE: Berucksichtigung militarischer Anforderungen bei der zivilen Entwicklung neuer Technologien.- Koennen Maschinen denken-eine kritische Auseinandersetzung mit der harten These der KI.- Zur sozialen Relevanz von Buro- und Telekommunikationsstandards.- Der kartengesteuerte Zahlungsverkehr in der Bundesrepublik Deutschland unter besonderer Berucksichtigung des Daten- und Verbraucherschutzes.- Informationstechnische Vernetzung und Kriegsunfahigkeit in hochentwickelten Industriegesellschaften.- Z. B. Reinhold Franck-Anmerkungen zum Thema "Wissenschaftler und Leben"-.
「Nielsen BookData」 より
