Skip to main content

Werkzeuge zur Entwicklung Verteilter Systeme

  • Conference paper
GI — 18. Jahrestagung II

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 188))

Zusammenfassung

Gegenstand dieses Papieres ist eine Software-Entwicklungs-Umgebung für Verteilte Systeme. Dazu wird zunächst ein Systemmodell vorgestellt, auf dessen Grundlage die aufzuzeigenden Werkzeuge arbeiten. Die Werkzeuge werden im Groben vorgestellt und eingeordnet. Der Schwerpunkt liegt dann auf den interaktiven Werkzeugen zur Analyse abstrakt verteilter Systeme. Dadurch wird die strukturelle Komplexität derartiger Systeme beherrschbar und deren Qualität gesteigert. Auf der Basis von Definitionsobjekten wird eine statische Analyse vorgestellt, die dann auf Inkarnationen von Systemkomponenten ausgedehnt zur dynamischen Anlayse führt.

Sowohl das Systemmodell als auch die Werkzeuge werden anhand eines Beispiels vorgestellt.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
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

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Referenzen

  1. The Programming Language ADA — Reference Manual, American National Standards Institute, Inc., ANSI/MIL-STD-1815A-1983, Lecture Notes in Computer Science, 155, Springer-Verlag, 1983

    Google Scholar 

  2. Baumgarten, U., Ein Modell zur Strukturierung von Rechensystemen und sein Einsatz bei deren Entwicklung, Informatik Berichte der Universitaet Bonn, Nr. 51, Bonn, 1986

    Google Scholar 

  3. Clocksin, W. F., Mellish, C. S., Programming in Prolog, Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1984

    Google Scholar 

  4. Johnson, S. C., Yacc — Yet Another Compiler-Compiler, Computer Science Technical Report No. 32, Bell Laboratories, Murray Hill, New Jersey, 1975

    Google Scholar 

  5. Kernighan, B. W., Ritchie, D. M., The C Programming Language, Prentice-Hall, Englewood Cliffs, New Jersey, 1978

    Google Scholar 

  6. Lesk, M. E., Schmidt, E., Lex — A Lexical Analyzer Generator, Computer Science Technical Report No. 39, Bell Laboratories, Murray Hill, New Jersey, 1975

    Google Scholar 

  7. Spies, P. P., Wechselwirkungen zwischen Software-Technologie und Modell-Analyse, Interner Bericht, II/85/1, Bonn, 1985

    Google Scholar 

  8. Spies, P. P., Informationsverarbeitung in Verteilten Systemen, Interner Bericht, II/86/1, Bonn, 1986

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baumgarten, U., Kewitz, R., König, D., Spies, P.P. (1988). Werkzeuge zur Entwicklung Verteilter Systeme. In: Valk, R. (eds) GI — 18. Jahrestagung II. Informatik-Fachberichte, vol 188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-74135-7_43

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-74135-7_43

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50360-6

  • Online ISBN: 978-3-642-74135-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics