Skip to main content

1981 | OriginalPaper | Buchkapitel

Rechnergestotzte Umsetzung von Epos-Spezifikationen in Pearl-Programme

verfasst von : E. Joho, S. Jovalekić

Erschienen in: Fachtagung Prozeßrechner 1981

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Metadaten
Titel
Rechnergestotzte Umsetzung von Epos-Spezifikationen in Pearl-Programme
verfasst von
E. Joho
S. Jovalekić
Copyright-Jahr
1981
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-67977-3_10