Skip to main content
SpringerLink
Log in
Book cover

Innovationen bei Rechen- und Kommunikationssystemen

Eine Herausforderung für die Informatik

  • Conference proceedings
  • © 1994

Overview

Editors:
  1. Bernd Wolfinger

    1. Fachbereich Informatik, Universität Hamburg, Hamburg, Deutschland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Informatik aktuell (INFORMAT)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (71 papers)

  1. Front Matter

    Pages I-XII
    Download chapter PDF

  2. „Integration von Semi-formalen und Formalen Methoden für die Spezifikation von Software-Systemen“

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Static and Dynamic Semantics of Entity—Relationship Models Based on Algebraic Methods

      • Ingo Claßen, Michael Löwe, Susanne Waßerroth, Jan Wortmann
      Pages 2-9

    3. Ablaufspezifikation durch Datenflußdiagramme und Axiome

      • Friederike Nickl
      Pages 10-18

    4. Graphical Support for Prototyping of Algebraic Specifications

      • Roswitha Bardohl, Ingo Claßen
      Pages 19-26

    5. Formal Foundations for Pragmatic Software Engineering Methods

      • Heinrich Hussmann
      Pages 27-34

    6. Combining Troll with the Object Modeling Technique

      • Ralf Jungclaus, Roel J. Wieringa, Peter Hartel, Gunter Saake, Thorsten Hartmann
      Pages 35-42

    7. Integration Of Semiformal And Formal Methods For Specifying Knowledge-Based Systems

      • Dieter Fensel, Susanne Neubert
      Pages 43-50

  3. „Disjunktive logische Programmierung und disjunktive Datenbanken“

    1. Front Matter

      Pages 51-51
      Download chapter PDF

    2. Semantics of Disjunctive Programs: A Unifying Approach

      • Teodor Przymusinski
      Pages 52-52

    3. Non—Monotonic Reasoning Based on Minimal Models and its Efficient Implementation

      • Dietmar Seipel
      Pages 53-60

    4. From above and from below: Approximating stable models

      • Jürgen Kalinski
      Pages 61-68

    5. Disjunctive Logic Programming over Finite Structures

      • Thomas Eiter, Georg Gottlob, Heikki Mannila
      Pages 69-73

    6. Disjunctive Logic Programming: What Applications Developers Need

      • François Bry
      Pages 74-74

    7. Improved Bottom-Up Query Evaluation in Positive Disjunctive Databases

      • Stefan Brass
      Pages 75-82

    8. A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation

      • Stefan Brass, Jürgen Dix
      Pages 83-91

    9. Proof Procedures for Disjunctive Logic Programming

      • D. W. Loveland
      Pages 92-92

    10. TMPR for Disjunctive Logic Programming and Usefulness of Strong and Exclusion Negation

      • Taïeb Mellouli
      Pages 93-100

  4. „Benutzungsschnittstellen für kommunizierende Systeme“

    1. Front Matter

      Pages 101-101
      Download chapter PDF

    2. Auf dem Weg zur wissensbasierten Mensch-Computer-Mensch-Kommunikation

      • Rul Gunzenhäuser, Willi Dilly, Matthias Ressel
      Pages 102-109
Back to top

Keywords

Editors and Affiliations

  • Fachbereich Informatik, Universität Hamburg, Hamburg, Deutschland

    Bernd Wolfinger

Bibliographic Information

  • Book Title: Innovationen bei Rechen- und Kommunikationssystemen

  • Book Subtitle: Eine Herausforderung für die Informatik

  • Editors: Bernd Wolfinger

  • Series Title: Informatik aktuell

  • DOI: https://doi.org/10.1007/978-3-642-51136-3

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1994

  • Softcover ISBN: 978-3-540-58313-4Published: 17 August 1994

  • eBook ISBN: 978-3-642-51136-3Published: 09 March 2013

  • Series ISSN: 1431-472X

  • Series E-ISSN: 2628-8958

  • Edition Number: 1

  • Number of Pages: XII, 533

  • Number of Illustrations: 147 b/w illustrations

  • Topics: Computer Communication Networks

Publish with us

Policies and ethics

Back to top

Search

Navigation