Skip to main content

Wie formal soll und darf die Beschreibung des Pflichtenheftes für ein Prozeßautomatisierungssystem sein?

  • Chapter
Book cover GI — 11. Jahrestagung

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

Zusammenfassung

“Die Antwort auf die Probleme der Software heißt: Software” [1]. Diese Erkenntnis hat dazu geführt, daß in den letzten Jahren eine Reihe von rechnergestützten Spezifikations- und Entwurfssystemen entwickelt wurden mit dem Ziel, die kreative Tätigkeit des Entwickelns von Rechner-Software und -Hardware zwar den beteiligten Menschen zu überlassen, ihnen dabei aber unterstützende Software-Werkzeuge verfügbar zu machen [2]. Die Unterstützung besteht — neben der automatischen Herstellung der Dokumentation — vor allem in der Bereitstellung von Hilfen und Prüfungen zur Erkennung möglicher Fehler im Sinne einer Vermeidung der oben angesprochenen “Probleme der Software”. Diese Probleme entstehen nämlich durch (von einem gewissen Komplexitätsgrad an unvermeidliche) sog. “menschliche Fehlermechanismen”, wie z.B. Denkfehler, Kommunikationsfehler, Interpretationsfehler, Flüchtigkeitsfehler usw. [3]. Die Auswirkungen dieser Fehlermechanismen (bezüglich der Kosten für ihre Beseitigung) sind umso schwerwiegender, je “früher” sie auftreten. Aus diesem Grunde kommt der Rechnerunterstützung gerade in den früheren Phasen eines Projekts (d.h. bei der Problemanalyse und der Pflichtenhefterstellung) große Bedeutung zu.

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

Literatur

  1. Krüger, G.: Auswirkungen des Wandels der rechnergestützten Automatisierungstechnik auf die Aus- und Weiterbildung von Ingenieuren und Informatikern. Fachtagung Prozeßrechner ’81, Informatik-Fachberichte Bd. 39, S.17–30 Springer-Verlag 1981

    Google Scholar 

  2. Lauber, R.: Rechnergestützter Entwurf und Dokumentation von Prozeßautomatisierungssystemen. GI-Jahrestagung Bonn 1979. Springer-Verlag 1979

    Google Scholar 

  3. Lauber, R.: Zuverlässigkeit informationsverarbeitender technischer Systeme unter den Bedingungen der Zukunft.Tagung Technische Zuverlässigkeit Nürnberg 1981. VDI-Bericht Nr. 395, VDI-Verlag Düsseldorf 1981

    Google Scholar 

  4. Richtlinie VDI/VDE-GMR 3550: Einsatzvorbereitung für Prozeßrechnersysteme. Beuth-Verlag, Berlin 1976

    Google Scholar 

  5. Biewald, J., Göhner, P., Lauber, R. und Schelling, H.: Das Software-Werkzeug EPOS zur Unterstützung der Ingenieurtätigkeiten beim Entwurf und bei der Wartung von Prozeßautomatisierungssystemen. Regelungstechnik 28 (1980) S.11–15

    Google Scholar 

  6. Biewald, J.: Rechnergestützte Erzeugung der Dokumentation für den Funktionsund Softwareentwurf in EPOS. Fachtagung Prozeßrechner 1981 Informatik-Fachberichte 39, Springer-Verlag 1981, S.97–106

    Google Scholar 

  7. Joho, E., Jovalekić, S.: Rechnergestützte Umsetzung von EPOS-Spezifikationen in PEARL-Programme. Fachtagung Prozeßrechner 1981 Informatik-Fachberichte 39, Springer-Verlag 1981, S.119–128

    Google Scholar 

  8. Göhner, P.: Spezifikation der Synchronisierung paralleler Rechenprozesse in EPOS. Fachtagung Prozeßrechner 1981, Informatik-Fachberichte 39, Springer-Verlag 1981, S.107–118

    Book  Google Scholar 

  9. Balzer, R.M.: GIST Specification Language, Final Report, Information Sciences Institute, University of Southern California, Los Angeles, Feb. 1981

    Google Scholar 

Download references

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Lauber, R., Jovalekić, S. (1981). Wie formal soll und darf die Beschreibung des Pflichtenheftes für ein Prozeßautomatisierungssystem sein?. In: Brauer, W. (eds) GI — 11. Jahrestagung. Informatik-Fachberichte, vol 50. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-01089-1_47

Download citation

  • DOI: https://doi.org/10.1007/978-3-662-01089-1_47

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10884-9

  • Online ISBN: 978-3-662-01089-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics