Skip to main content

Rechnergestotzte Umsetzung von Epos-Spezifikationen in Pearl-Programme

  • Conference paper

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

Zusammenfassung

EPOS (Entwurfsunterstützendes Prozeß-Orientiertes Spezifikationssystem) ist ein Software-Werkzeug zur Unterstützung von Projektierung, Entwicklung, Dokumentation, Inbetriebnahme, Wartung und Handhabung von rechnergesteuerten Echtzeitsystemen [1], [2], [3]. Es beinhaltet die Sprachteile EPOS-R zur Beschreibung der Aufgabenstellung (Requirements) und EPOS-S zur Spezifikation des Hardware- und Softwareentwurfs.

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

Buying options

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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. Lauber, R.: Rechnergestütztes Entwerfen und Dokumentieren von Prozeßautomatisierungssystemen mit EPOS. GI 9. Jahrestagung Bonn. Springer-Verlag 1979

    Google Scholar 

  2. 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 

  3. Einführung in EPOS 80. Schulungsunterlage. Herausgegeben vom Institut für Regelungstechnik und Prozeßautomatisierung, Universität Stuttgart, Juli 1980

    Google Scholar 

  4. Lauber, R.: Modelle zur Beschreibung des Entwerfens von Prozeßautomatisierungssystemen, Regelungstechnik 27 (1979) S. 373–379

    Google Scholar 

  5. Göhner, P.: Ingenieurgerechte Spezifikation der Synchronisierung paralleler Rechenprozesse. Doktorarbeit an der Universität Stuttgart, 1980 (wird veröffentlicht)

    Google Scholar 

  6. Scheidt, H.G.: Umsetzung einer EPOS-Spezifikation in ein PEARL-Programm am Beispiel der Paketverteilanlage. Diplomarbeit am Institut für Regelungstechnik und Prozeßautomatisierung der Universität Stuttgart 1980.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Joho, E., Jovalekić, S. (1981). Rechnergestotzte Umsetzung von Epos-Spezifikationen in Pearl-Programme. In: Baumann, R. (eds) Fachtagung Prozeßrechner 1981. Informatik-Fachberichte, vol 39. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67977-3_10

Download citation

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

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10617-3

  • Online ISBN: 978-3-642-67977-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics