GI — 11. Jahrestagung: In Verbindung mit Third Conference of the European Co-operation in Informatics (ECI) München, 20.–23. Oktober 1981 Proceedings

Front Matter....Pages N2-XIV
Invariance of Approximative Semantics with Respect to Program Transformations....Pages 1-10
Description of Parameterized Compiler Modules....Pages 11-19
Static-Scope-LISP: Zerlegung Eines Interpretierers in Übersetzer und Laufzeitsystem....Pages 20-31
Programs as Transformations of Algebraic Theories (Extended Abstract)....Pages 32-40
Relating Uniform and Nonuniform Models of Computation....Pages 41-48
Semantikdefinition im Rahmen Eines Programmiersystemgenerators....Pages 49-56
Die formale Entwicklung der maschinenunabhängigen Zwischensprache CAT....Pages 57-64
Hoare-Style Proof Systems and Formal Computations....Pages 65-71
A Characterization of Program Equivalence in Terms of Hoare’s Logic....Pages 72-77
Semantics of Distributed Processes Derived by Translation....Pages 78-87
A Proof System for Brinch Hansen’s Distributed Processes....Pages 88-95
Implementations of abstract data types and their verification....Pages 96-108
GOTOs — A Study in the Algebraic Specification of Programming Languages (Extended Abstract)....Pages 109-121
An Order Semantics for Non-Deterministic Recursive Program Schemes....Pages 122-129
Quantifizierung der Qualität von Software....Pages 131-143
Ermittlung und Verwendung quantitativer Angaben zur Bewertung der Qualität von Software-Produkten....Pages 144-159
Der Einfluß von Strukturierungsmethoden der Anwendungsprogrammierung auf die Durchlaufzeit von Programmen....Pages 160-169
Quantitative Ansätze zur Bestimmung der Komplexität von Software-Systemen....Pages 170-190
Eine Metrik zur Bewertung der Modularisierung....Pages 191-199
ISAC — eine Analyse- und Entwurfsmethode für komplexe Softwaresysteme....Pages 201-215
Designing the Conceptual Database Schema — A Framework for an Interactive Approach....Pages 216-226
Entwurfs- und Entwicklungswerkzeuge für rechnergestützte Informationssysteme....Pages 227-241
Das Data Dictionary : Ein universelles Werkzeug beim Aufbau und Einsatz von Informationssystemen....Pages 242-254
Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications....Pages 255-269
Durch Prädikation zu Objekttypen....Pages 270-284
Self-Diagnosis for Parallel Computers....Pages 285-292
Verfahren zur Erkennung von Einfach- und Doppelausfällen in Einem Zweikanaligen Schaltkreissystem....Pages 293-306
Ein Baukastenkonzept für Fehlertolerante Multi-Mikroprozessorsysteme....Pages 307-316
Entwurf eines hochzuverlässigen redundanten Mikrorechnernetzes....Pages 317-326
Sicherung Statistischer Datenbanken: Output von Intervallen....Pages 327-336
Schutz, Sicherung und Sicherheit Versuch einer Begriffsklärung aus der Sicht der Informatik....Pages 337-350
Computer an der Schule im Wandel....Pages 351-358
Projektbezogenes Arbeiten in Einem Grundkurs Informatik....Pages 359-367
Informatik im zweiten Bildungsweg — Erfahrungen mit einem Informatikkurs am Abendgymnasium....Pages 368-376
Zum Beginn des Rechnereinsatzes im Informatikunterricht....Pages 377-384
Erste Erfahrungen mit Informatik als Abiturprüfungsfach in Niedersachsen....Pages 385-389
Berufsqualifizierender Datenverarbeitungsunterricht....Pages 390-398
Lernziele im Informatik-Datenverarbeitungs-Organisationslehre-Unterricht kaufmännischer Schulen....Pages 399-408
Computer als konviviale Werkzeuge....Pages 409-416
Der Bildschirmcomputer im Physikunterricht....Pages 417-424
Auswertungen naturwissenschaftlicher Meßreihen und sozialwissenschaftlicher Erhebungen mit Computerunterstützung....Pages 425-432
Ein Projektmodell und Werkzeuge zu dessen Unterstützung....Pages 433-439
Erfahrungen beim softwareorientierten Entwurf eines portablen Betriebsleitsystems des öffentlichen Personennahverkehrs....Pages 440-447
Einige Bemerkungen zum Verständnis Nebenläufiger Prozesse und Systeme....Pages 448-459
Der Entwurf Nebenläufiger Systeme mit Handlungs-Entscheidungs-Netzen....Pages 460-471
Anforderungen an die Software zur Gestaltung humaner Arbeitsplätze in computergesteuerten Fertigungsprozessen....Pages 472-481
Wie formal soll und darf die Beschreibung des Pflichtenheftes für ein Prozeßautomatisierungssystem sein?....Pages 482-490
Kontextverluste in Computergestützten Personalinformationssystemen....Pages 491-499
Erfahrungen über die Implementierung eines Konzeptes für ein Personalinformationssystem (Persis) im Bereiche des österr. Bundesheeres....Pages 500-504
Erfahrungen bei Konzeption, Entwicklung und Einführung des Personalinformations-Systems der IBM Deutschland GMBH....Pages 505-515
Integriertes Personalinformationssystem der Siemens AG....Pages 516-526
Computergestützte Motivations- und Zufriedenheitsforschung als Instrument der Betrieblichen Personalpolitik....Pages 527-541
Personalinformationssysteme und Gewerkschaftspolitik....Pages 542-548
Wesen und Probleme der Urteilsfindung in der Medizin....Pages 549-556
Probleme des Einsatzes Entscheidungstheoretischer Methoden in der Medizinischen Diagnostik....Pages 557-567
KI-Verfahren zur Unterstützung der Ärztlichen Urteilsbildung....Pages 568-579
Probleme der Standardisierung Medizinischer Daten am Beispiel der Erstellung Einer Standardisierten Symptomanamnese....Pages 580-589
Modelluntersuchungen zum Flüssigkeitshaushalt des Menschlichen Körpers....Pages 590-597
Ein Fuzzy Algorithmus zur Diagnostischen Klassifizierung in der Cranialen Computer-Tomographie (CCT)....Pages 598-605
Struktur der Wissensbasis Für Ein AI-System zur Unterstützung Ärztlicher Diagnostischer und Therapeutischer Entscheidungen....Pages 606-613
Mustererkennung und -wiedererkennung am Beispiel der biochemischen Schilddrüsendiagnostik....Pages 614-617
Back Matter....Pages 619-619