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) (German Edition)

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