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"-.
| Erscheint lt. Verlag | 6.5.1992 |
|---|---|
| Reihe/Serie | Informatik-Fachberichte |
| Zusatzinfo | VIII, 344 S. 14 Abb. |
| Verlagsort | Berlin |
| Sprache | deutsch |
| Maße | 170 x 242 mm |
| Gewicht | 594 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Schlagworte | Computer • Festschrift • Franck, Reinhold • Informatik • Informatik und Gesellschaft • Logik • Programmierung • Rechnernetze • Softwaretechnik |
| ISBN-13 | 9783540553892 / 9783540553892 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich