Kooperativer Bibliotheksverbund

UID:

Umfang: XV, 563 S.

ISBN: 3-540-10388-0 , 0-387-10388-0

Serie: Informatik-Fachberichte 33

Schlagwort(e): Informatik ; Konferenz ; Konstruktion ; Expertensystem ; Softwareentwicklung ; Datenbank ; CAD ; Datenschutz ; Software ; Konferenzschrift

UID:

Umfang: XVI, 564 S. , online resource.

Ausgabe: 1st ed. 1980.

ISBN: 9783642678387

Serie: Informatik-Fachberichte, 33

Anmerkung: Hauptvorträge -- „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“ -- Fachgespräche (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 für Echt-zeitprogramme“ -- „The Use of Nested Scheme Parameters in the System CIP“ (KV) -- „Das Projektmodell — Eine Grundlage für die ingenieursmäßige Software-Entwicklung“ -- „Praxisbezogene Systementwicklung aus ganzheitlicher Sicht“ -- „Die Einführung der SSD-Entwicklungsmethode bei GOLEM“ -- „Eine Methode zum Entwurf betrieblicher Informationssysteme“ -- Datenbanken/Data Base Systems -- „Konstrukte zur Darstellung und Prüfung 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 für Kleinrechner“ -- „Abhängigkeiten 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 für 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 für Registermaschinen“ (KV) -- „Sortieren in Magnetblasenspeichern“ (KV) -- „Das P = NP-Problem in der Kategorie der partiellen Ordnungen mit zweistelligen Suprema“ -- „Untere Zeitschranken für 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 Unterstützung 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 Saarbrücker Übersetzungssystem 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 -- Computergestützte Informationssysteme in der „Materialwirtschaft“(übersichtsvortrag) -- „Online-Systeme im Finanz- und Rechnungswesen“ (Übersichtsvortrag) -- „Rechnergestützte Informations- und Dispositionssysteme für den Personalbereich“(übersichtsvortrag) -- „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 für 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“ -- „Plädoyer für den Datentyp TREE“ -- „Flächenbezogene Datenstrukturen“ -- „Interpretation sprachorientierter Instruktionscodes in einem Timesharingsystem“ -- „?-Kalkül Schemata als Kontrollstrukturen für 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 Prozeß-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 für zeitdiskrete Simulation in PASCAL: PASIM“ -- „A Segment-Flow Model of Distributed Computing“ -- „Statische Analyse des Echtzeitverhaltens von Softwaresystemen im DARTS-Entwurfssystem“ -- „Lokalitätsverhalten bei der Pufferung von Magnetplatten-Zugriffen“ -- „Rechnersimulation und Leistungsmessung im Rahmen der Kapazitätsplanung von Rechenzentren“ -- „Ein Compiler für die Register Transfer-Sprache KARL-2“ -- „Some Problems in Parallel Image Processor Design“ -- „Netze mit Zeitvarianten Komponentenverzögerungen“ -- „Induktive Inferenz und mehrwertige Logik“ -- „Deadlock Prediction Using Petri Nets“.

In: Springer eBooks

Weitere Ausg.: Printed edition: ISBN 9783540103882

Sprache: Deutsch

DOI: 10.1007/978-3-642-67838-7

URL: https://doi.org/10.1007/978-3-642-67838-7

UID:

Umfang: 1 online resource (578 pages)

Ausgabe: 1

ISBN: 9783642678387

Serie: Informatik-Fachberichte Series ; v.33

Weitere Ausg.: Print version: Wilhelm, R. GI -- 10. Jahrestagung Berlin, Heidelberg : Springer Berlin / Heidelberg,c1980 ISBN 9783540103882

Schlagwort(e): Electronic books.

URL: https://ebookcentral.proquest.com/lib/th-brandenburg/detail.action?docID=6858134

UID:

Umfang: XV, 563 S. , graph. Darst.

ISBN: 3540103880

Serie: Informatik-Fachberichte. 33.

Sprache: Unbestimmte Sprache

Schlagwort(e): Datenverarbeitung ; Konferenzschrift

UID:

Umfang: 1 Online-Ressource (XVI, 564 S.)

ISBN: 9783642678387 , 9783540103882

Serie: Informatik-Fachberichte 33

Anmerkung: "Denn eben 100 Begriffe fehlen, da stellt ein Wort zur rechten Zeit sich ein". (Goethe, Faust) Gut 10 Jahre nach Einführung des Begriffs "Software Engineering" wird noch vielerorts das Fehlen einer Methodologie für 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 läßt 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 zufällig "einstellen", wo und wann immer sie gebraucht werden. Die Folge ist ein wild wucherndes, selbst von Eingeweihten oft schwer zu durchdringendes Begriffsdickicht. Als beredtes Zeugnis für die z.Z. noch herrschende Begriffs-Unsicherheit seien einige Beispiele aufgeführt: - eine Fülle von sogenannten "software life cycles", - eine Vielzahl von Dokumentations-Vorschriften ("Rahmen-Spezifikation", "Entwicklungs-Dokumentation", "Prozeß-Organisation") bei DV-Herstellern, -Entwicklern und -Anwendern, häufig mehrfach unter dem gleichen Dach miteinander koexistierend und konkurrierend, unterschiedliche Interpretationen von Begriffen wie "System", "Prozeß", "Spezifikation", "Implementierung", "Verifikation", "Validation", "Planung", "Organisation" etc

Sprache: Deutsch

Schlagwort(e): Datenschutz ; Softwareentwicklung ; Software ; Informatik ; Expertensystem ; Konstruktion ; CAD ; Datenbank ; Konferenz

DOI: 10.1007/978-3-642-67838-7

URL: Volltext

UID:

ISBN: 3-540-10388-0 , 0-387-10388-0

In: Gesellschaft für Informatik: GI-Jahrestagung, yr:1980,1

In: Informatik-Fachberichte.

Sprache: Deutsch

Schlagwort(e): Konferenzschrift

UID:

Umfang: XV, 563 S.

ISBN: 3-540-10388-0 , 0-387-10388-0

Serie: Informatik-Fachberichte 33

Sprache: Deutsch

Fachgebiete: Informatik

Schlagwort(e): Datenverarbeitung ; Konferenzschrift