Informatik zwischen Wissenschaft und Gesellschaft 1992 - Zur Erinnerung an Reinhold Franck
Hans-Jörg Kreowski (Ed.):
Informatik zwischen Wissenschaft und Gesellschaft, Zur Erinnerung an Reinhold Franck.
Informatik-Fachberichte 309 Springer 1992, ISBN 3-540-55389-4 BibTeX
@proceedings{DBLP:conf/birthday/1992franck,
editor = {Hans-J{\"o}rg Kreowski},
title = {Informatik zwischen Wissenschaft und Gesellschaft, Zur Erinnerung
an Reinhold Franck},
booktitle = {Informatik zwischen Wissenschaft und Gesellschaft},
publisher = {Springer},
series = {Informatik-Fachberichte},
volume = {309},
year = {1992},
isbn = {3-540-55389-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Teil 1:
Themenbereich Softwaretechnik
- Björn Brünjes, Jens Herrmann, Jutta Hindersmann, Joachim Müller, Ingrid Nikschat-Tillwick, Andreas Spillner, Karin Vosseberg:
Die wissenschaftlichen Arbeiten von Reinhold Franck.
1-31 BibTeX
- Fevzi Belli, Alfred Schmidt:
Systematische Dokumentation logischer Programme.
32-46 BibTeX
- Hartmut Ehrig, Michael Löwe:
From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach.
47-65 BibTeX
- Klaus Grimm:
Systematisches Testen sicherheitsrelevanter Software - Methoden, Verfahren und Werkzeuge.
66-107 BibTeX
- Hans-Jörg Kreowski:
Eine konkrete Utopie von korrekter Software.
108-124 BibTeX
- Klaus-Peter Löhr:
Nichtsequentielle Programmierung mit Eiffel.
125-148 BibTeX
- Günter Matthiessen:
NULL-Werte und dreiwertige Logik in SQL.
149-162 BibTeX
- Monika Müllerburg:
Ein Ansatz zur systematischen Auswahl von Software-Testmethoden.
163-179 BibTeX
- Manfred Nagl:
Modelling oft Software Architectures: Importance, Notions, Experiences.
180-201 BibTeX
- Eike Hagen Riedemann:
Testen von Software durch Mutationsanalyse: "ja, bitte" wegen der hohen Qualität oder "nein, danke" wegen des Aufwands und der prinzipiellen Probleme?
202-217 BibTeX
- Thorsten Spitta:
Organisation, Benutzer und Software.
218-232 BibTeX
- Jürgen F. H. Winkler:
Beispiele zur Rekursion von Reinhold Franck und anderen Autoren.
233-241 BibTeX
Teil 2:
Themenbereich Informatik und Gesellschaft
Copyright © Sat May 16 22:59:39 2009
by Michael Ley (ley@uni-trier.de)
