GI-10. Jahrestagung : Saarbrücken 30. September-2. Oktober 1980
著者
書誌事項
GI-10. Jahrestagung : Saarbrücken 30. September-2. Oktober 1980
（Informatik-Fachberichte, 33）
Springer-Verlag, 1980
大学図書館所蔵 件 / 全2件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
内容説明
"Denn eben 10'0 Begriffe fehlen, da stellt ein Wort zur rechten Zeit sich ein". (Goethe, Faust) Gut 10 Jahre nach Einfiihrung des Begriffs "Software Engineering" wird noch vieler- orts das Fehlen einer Methodologie fiir diese Disziplin beklagt (vgl. z.B. /WED 79/). Grundlage jeder Methodologie ist eine einheitliche, umfassende, allgemein anerkannte Begriffswelt. Die Stellung des Software-Ingenieurs zu seiner Begriffswelt laBt sich aber vielfach noch am ehesten durch das einleitende Zitat charakterisieren: Fehlende oder vermeintlich fehlende Begriffe werden durch Worte ersetzt, die sich mehr oder weniger zufallig "einstellen", wo und wann immer sie gebraucht werden. Die Folge ist ein wild wucherndes, selbst von Eingehweihten oft schwer zu durchdrin- gendes Begriffsdickicht. Als beredtes Zeugnis fiir die z.Z. noch herrschende Begriffs-Unsicherheit seien eini- ge Beispiele aufgefiihrt: - eine Fiille von sogenannten "software life cycles", - GBPline Vielzahl von Dokumentations-Vorschriften ("Rahmen-Spezifikation", "Entwick- lungs-Dokumentation", "ProzeB-Organisation") bei DV-Herstellern, -Entwicklern und -Anwendern, haufig mehrfach unter dem gleichen Dach miteinander koexistierend und konkurrierend, unterschiedliche Interpretationen von Begriffen wie "System", "ProzeB", "Spe- fikation", "Implementierung", "Verifikation", "Validation", "Planung", "Organi- sation" etc.
目次
Hauptvortrage.- "Expert Systems - looking back and looking ahead".- "Relational Database Systems: Where we stand today".- "Capabilities and Protection".- "Effizienz paralleler Rechner".- Die Rezeption des Buches "Die Macht der Computer und die Ohnmacht der Vernunft".- Fachgesprache (KV= Kurzvortrag).- Software-Entwicklung, Software-Pflege.- "Application of Meta-Compilation Methods in the Ada Test Translator Development".- "Abstraction and Refinement Principles Applied to the Conception of Functionally Distributed Systems".- "DARTS - Ein Software-Entwurfswerkzeug fur Echt-zeitprogramme".- "The Use of Nested Scheme Parameters in the System CIP" (KV).- "Das Projektmodell - Eine Grundlage fur die ingenieursmassige Software-Entwicklung".- "Praxisbezogene Systementwicklung aus ganzheitlicher Sicht".- "Die Einfuhrung der SSD-Entwicklungsmethode bei GOLEM".- "Eine Methode zum Entwurf betrieblicher Informationssysteme".- Datenbanken/Data Base Systems.- "Konstrukte zur Darstellung und Prufung semantischer Regeln".- "Dynamic Consistency Constraints in the Conceptual Schema and their Connections with the External Schema".- "Dynamics in Information System Design and Management".- "Konstruktive Abstrakte Datentypen".- "Modularer Datenbank-Entwurf fur Kleinrechner".- "Abhangigkeiten von Systemkomponenten in Datenbanksystemen".- "An Interface to Interrogate Heterogeneous Distributed Databases" (KV).- "Rekonstruktion eines global-konsistenten Zustandes in verteilten Datenbank-Systemen" (KV).- "Implementation of a relational Data Base System on top of a commercial DBMS" (KV).- Schutzmechanismen in Rechensystemen/Protection Mechanisms in Computing Systems.- "Schutz im OSKAR-Betriebssystem".- "Synchronization and Protection Features for Data Abstraction".- "Probleme beim Entwurf sicherer Datenbanksysteme".- "Subjektorientierte Zugriffsautorisierung" (KV).- "Schutzmechanismen in einem Betriebssystem fur eine Multimikrocomputer-Konfiguration" (KV).- Neuere Tendenzen in der Theoretischen Informatik und Ihre Auswirkungen Auf die Praxis/New Tendencies in Theoretical Computer Science and their Impact on Practical Problems.- "Polynomials - Specification, Analysis and Development of an Abstract Data Type".- "A LR-Like Analyzer Algorithm for Graphs".- "Platz- und zeiteffiziente Realisierung des Laufzeitkellers bei blockstrukturierten Programmiersprachen".- "Ein Sortierverfahren fur Registermaschinen" (KV).- "Sortieren in Magnetblasenspeichern" (KV).- "Das P = NP-Problem in der Kategorie der partiellen Ordnungen mit zweistelligen Suprema".- "Untere Zeitschranken fur das Rucksackproblem".- "Multidimensional B-tree: An efficient dynamic file structure for exact match queries".- "Towards Single Probe Retrieval".- Konstliche Intelligenz/Artificial Intelligence.- "Das Karlsruher Beweissystem".- "Ein Entwurf zur maschinellen Unterstutzung von Korrektheitsbeweisen bei Simulationen".- "On the Treatment of Equivalence Connectives in Automated Theorem Proving (KV).- "Knowledge-Based Theorem Proving" (KV).- "EDINBURGH LCF supporting FP systems" (KV).- "An Expert System for Automatic Coding of Abstract Data Type Specifications".- "Inducing Non-trivial Programs from Examples".- "A Method for Describing Concurrent Problems Based on Logic"(KV).- "Das Saarbrucker UEbersetzungssystem SUSY" (KV).- "The Natural Language System HAM-RPM as a Hotel Manager: Some Representational Prerequisites".- "A Natural Language Processing Model" (KV).- >Betriebliche Anwendungen der Datenverarbeitung/Business Applications of Electronic Data Processing.- Computergestutzte Informationssysteme in der "Materialwirtschaft"(ubersichtsvortrag).- "Online-Systeme im Finanz- und Rechnungswesen" (UEbersichtsvortrag).- "Rechnergestutzte Informations- und Dispositionssysteme fur den Personalbereich"(ubersichtsvortrag).- "Verteilte Datenverarbeitung und Bildschirmtext".- "5 Jahre BRIDGE - Erfahrungen mit dem Vertriebsinformationssystem der IBM Deutschland GmbH".- Kurzvortragssitzungen.- "Entwicklung und Benutzung interaktiver Anwendungssysteme mit Hilfe von Methoden- und DatenbankSystemen".- "Stand der Entwicklung von Bildschirmtext".- "Programmierhilfen fur die Eingabe, Verwaltung und Ausgabe von Daten in CAD Programmen".- "Der Thesaurus als Datenbank" (Projekt JUDO).- "Ein Verfahren zur Aufnahme medizinischer Diagnosen in eine Datenbank".- "Einsatz von Hilfsmitteln der Netzplantechnik zur Planung und Steuerung des zeitlichen Ablaufes von Software-Projekten".- "Systematischer Entwurf von Makroprozessoren".- "Pladoyer fur den Datentyp TREE".- "Flachenbezogene Datenstrukturen".- "Interpretation sprachorientierter Instruktionscodes in einem Timesharingsystem".- "?-Kalkul Schemata als Kontrollstrukturen fur LISP-Programme".- "The Control of Parallel Computations by Labeled Petri Nets: A Study in Terms of Multiple-Firing Automata and Parallel Program Schemata".- "Automatisierte Prallelisierung von Programmen".- "Semantik-Definition der Prozess-Programmiersprache PEARL".- "Umwandlung von EPOS-Spezifikationen in Petri-Netze".- "Entwurfstechnologie auf der Grundlage von Petri-Netzen".- "Modellieren und Simulieren mit dem Blockorientierten Interaktiven Simulationssystem BORIS".- "Bedienungssysteme mit Unterbrechnungen".- "Entwurf und Implementierung einer Systemumgebung fur zeitdiskrete Simulation in PASCAL: PASIM".- "A Segment-Flow Model of Distributed Computing".- "Statische Analyse des Echtzeitverhaltens von Softwaresystemen im DARTS-Entwurfssystem".- "Lokalitatsverhalten bei der Pufferung von Magnetplatten-Zugriffen".- "Rechnersimulation und Leistungsmessung im Rahmen der Kapazitatsplanung von Rechenzentren".- "Ein Compiler fur die Register Transfer-Sprache KARL-2".- "Some Problems in Parallel Image Processor Design".- "Netze mit Zeitvarianten Komponentenverzoegerungen".- "Induktive Inferenz und mehrwertige Logik".- "Deadlock Prediction Using Petri Nets".
「Nielsen BookData」 より
