Karl-Heinz Böhling, Peter Paul Spies (Eds.):
GI - 9. Jahrestagung, Bonn, 1.-5. Oktober 1979, Proceedings.
Informatik-Fachberichte 19 Springer 1979, ISBN 3-540-09664-7 BibTeX
@proceedings{DBLP:conf/gi/1979,
editor = {Karl-Heinz B{\"o}hling and
Peter Paul Spies},
title = {GI - 9. Jahrestagung, Bonn, 1.-5. Oktober 1979, Proceedings},
booktitle = {GI Jahrestagung},
publisher = {Springer},
series = {Informatik-Fachberichte},
volume = {19},
year = {1979},
isbn = {3-540-09664-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Hauptvorträge
Verrechtlichung der Datenverarbeitung
Spezifikation von Echtzeitsystemen
- Hans Keutgen, Hans-H. Meyer:
Rechnerunterstützung im Bereich des Entwurfs von PDV-Software.
104-107 BibTeX
- Volkmar H. Haase:
Modelle zur Spezifikation von Prozesslenkungssystemen.
108-120 BibTeX
- F. Hofmann, S. Keramidis:
Erfahrungen mit neueren Methoden zur Konstruktion zuverlässiger Software bei der Realisierung eines Vermittlungssystems für Rechnernetze in der Fertigungssteuerung.
121-131 BibTeX
- Wilfried Koch:
SPEZI - Eine Sprache zur Formulierung von Spezifikationen (unvollstängige Fassung).
132-138 BibTeX
- R. Laubner:
Rechnergestütztes Entwerfen und Dokumentieren von Prozessautomatisierungssystemen mit EPOS.
139-153 BibTeX
- Peter Winkler:
BOIE: Ein interaktives Entwurkswerkzeug.
154-162 BibTeX
Compiler-Compiler
Methoden- und Modellbankensysteme
Modelle für Rechensysteme
Workshop des Fachausschusses 3/4 der GI
Copyright © Sat May 16 23:13:26 2009
by Michael Ley (ley@uni-trier.de)
