Wilfried Brauer (Ed.):
GI - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI), München, 20.-23. Oktober 1981, Proceedings.
Informatik-Fachberichte 50 Springer 1981, ISBN 3-540-10884-X BibTeX
@proceedings{DBLP:conf/gi/1981,
editor = {Wilfried Brauer},
title = {GI - 11. Jahrestagung in Verbindung mit Third Conference of the
European Co-operation in Informatics (ECI), M{\"u}nchen, 20.-23.
Oktober 1981, Proceedings},
booktitle = {GI Jahrestagung},
publisher = {Springer},
series = {Informatik-Fachberichte},
volume = {50},
year = {1981},
isbn = {3-540-10884-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
ECI 1981
Semantik von Programmiersprachen
- Robert Giegerich, Ulrich Möncke, Reinhard Wilhelm:
Invariance of Approximate Semantics with Respect to Program Transformations.
1-10 BibTeX
- Harald Ganzinger:
Description of Parameterized Compiler Modules.
11-19 BibTeX
- Henner Kröger:
Static-Scope-Lisp: Zerlegung eines Interpretierers in Übersetzer und Laufzeitsystem.
20-31 BibTeX
- Harald Ganzinger:
Programs as Transformations of Algebraic Theories (Extended Abstract).
32-40 BibTeX
- Bernd Mahr, Dirk Siefkes:
Relating Uniform and Nonuniform Models of Computation.
41-48 BibTeX
- Rolf Bahlke, Manfred Daniel, Thomas Letschert:
Semantikdefinition im Rahmen eines Programmiersystemgenerators.
49-56 BibTeX
- Uwe Schmidt, Reinhard Völler:
Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT.
57-64 BibTeX
- Ernst-Rüdiger Olderog:
Hoare-Style Proof Systems and Formal Computations.
65-71 BibTeX
- Jan A. Bergstra, J. Terlouw:
A Characterization of Program Equivalence in Terms of Hoare's Logic.
72-77 BibTeX
- Egidio Astesiano, Elena Zucca:
Semantics of Distributed Processes Derived by Translation.
78-87 BibTeX
- Marly Roncken, Rob Gerth, Willem P. de Roever:
A Proof System for Brinch Hansen's Distributed Processes.
88-95 BibTeX
- Jacques Loeckx:
Implementations of Abstract Data Types and Their Verifaction.
96-108 BibTeX
- Manfred Broy, Walter Dosch, Bernhard Möller, Martin Wirsing:
GOTOs - A Study in the Algebraic Specification of Programming Languages (Extended Abstract).
109-121 BibTeX
- Axel Poigné:
An Order Semantics for Non-Deterministic Recursive Program Schemes.
122-129 BibTeX
Quantitative Aspekte des Software Engineerings
- Udo Voges:
Quantifizierung der Qualität von Software.
131-143 BibTeX
- Rudolf van Megen, Heinz Bons:
Ermittlung und Verwendung quantitativer Angaben zur Bewertung der Qualität von Software-Produkten.
144-159 BibTeX
- A. Schulz:
Der Einfluß von Strukturierungsmethoden der Anwendungsprogrammierung aud die Durchlaufzeit von Programmen.
160-169 BibTeX
- Helmut Balzert:
Quantitative Ansätze zur Bestimmung der Komplexität von Software-Systemen.
170-190 BibTeX
- Hans Keutgen:
Eine Metrik zur Bewertung der Modularisierung.
191-199 BibTeX
Entwurfs- und Entwicklungswerkzeuge
Sichere Systeme
Informatik in der Schule
Systematischer Entwurf von PDV-Systemen
Aktuelle Entwicklungen auf dem Gebiet Computergestützter Personal-Informationssysteme
- Manfred Pils:
Kontextverluste in computergestützten Personalinformationssystemen.
491-499 BibTeX
- R. Reichel:
Erfahrungen über die Implementierung eines Konnzeptes für ein Personalinformationssystem (PERSIS) im Bereiche des österr. Bundesheeres.
500-504 BibTeX
- K. Ulmer:
Erfahrungen bei Konzeption, Entwicklung und Einführung des Personalinformations-Systems der IBM Deutschland.
505-515 BibTeX
- M. Behr, B. Sperling:
Integriertes Personalinformationssystem der Siemens AG.
516-526 BibTeX
- Karl-Friedrich Ackermann:
Computergestützte Motivations- und Zufriedenheitsforschung als Instrument der betrieblichen Personalpolitik.
527-541 BibTeX
- Paul Kolm:
Personalinformationssysteme und Gewerkschaftspolitik.
542-548 BibTeX
Ärztliches Urteil und Methoden der Informatik
Copyright © Sat May 16 23:13:26 2009
by Michael Ley (ley@uni-trier.de)