Advertisement

Aspekte der Konstruktion robuster Software

  • S. Jähnichen
  • K. Kleine
  • G. Persch
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 83)

Zusammenfassung

In diesem Papier wird versucht, eine Klassifikation von Ursachen für Fehlverhalten von Rechensystemen zu geben und diese zur Grundlage einer ingenieurmäβigen Konstruktion von Softwaresystemen zu machen. Dazu werden Elemente algebraischer Spezifikationen benutzt, wobei wir den Anschluβ von Ausnahmebehandlungen (exception handling) an den bekannten Kalkül betonen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [Ada83]
    The Programming Language Ada Reference Manual, ANSI/ MIL-STD-1815A-1983, also published as Lecture Notes in Computer Science vol. 155 Google Scholar
  2. [Archer84]
    J. E. Archer et al, User Recovery and Reversai in Interactive Systems, TOPLAS, vol. 6#1 (January 1984) Google Scholar
  3. [Bartlett8l]
    J. F. Bartlettt, A NonStop Kernel, proceedings Bth Symposium on Operating Systems Principles, SIGOPS vol. 15#5 (December 1981) Google Scholar
  4. [Boute82]
    R. T. Boute, On the Requirements for Dynamic Software Modification, in MICROSYSTEMS: Architecture, Integration and Use, EUROMICRO 1982, North-Holland Publ.Google Scholar
  5. [Feuerhahn78]
    H. Feuerhahn, C.H.A. Koster, Static Semantic Checks in an Open-ended Language, in Constructing Quality Software, proceedings of an IFIP TC2 Working Conference, Novosibirsk, North-Holland Publ. 1978Google Scholar
  6. [Goodenough75]
    J. B. Goodenough, Structured Exception Handling, Communications of the ACM, vol. 18#12, (December 1975) Google Scholar
  7. [Jähnichen79]
    S. Jähnichen, Exception Handling in sequentiellen Programmen, Dissertation, Technische Universität Berlin, 1979Google Scholar
  8. [Denning76]
    P. Denning, Fault-Tolerant Operating Systems, Computing Surveys, vol. 6#4 (December 1976) Google Scholar
  9. [Levin77]
    R. Levin, Program Structures for Exceptional Condition Handling, Dissertation, Carnegie-Mellon University, Pittsburgh 1977Google Scholar
  10. [Persch83]
    G. Persch, M. Dausmann, G. Goos, Early Experience with the Progamming Language Ada, in Programming Languages and System Design, proceedings of an IFIP TC2 Working Conference, Dresden, North-Holland 1983Google Scholar
  11. [Teitelman84]
    W. Teitelman, INTERLISP Reference Manual, XEROX PARC, Palo Alto, 1975Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1984

Authors and Affiliations

  • S. Jähnichen
    • 1
  • K. Kleine
    • 1
  • G. Persch
    • 1
  1. 1.GMD Forschungsstelle Karlsruhe und Forschungszentrum InformatikKarlsruheGermany

Personalised recommendations