PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Deutsch
- Notes
-
In: Baumann, Richard (Hrsg.): Fachtagung Prozessrechner 1981 : München, 10. u. 11. März 1981. Berlin : Springer, 1981 (Informatik-Fachberichte 39). - ISBN 3-540-10617-0, S. 76-86
- Classification
-
Informatik
- Keyword
-
Prozessrechner
Prozessdatenverarbeitung
Softwarespezifikation
Prozedur
Pufferspeicher
Datenerfassung
PSL ; Softwarespezifikation ; Prozessdatenverarbeitung
- Event
-
Veröffentlichung
- (where)
-
Stuttgart
- (who)
-
Universitätsbibliothek der Universität Stuttgart
- (when)
-
2014
- Creator
- URN
-
urn:nbn:de:bsz:93-opus-91791
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:47 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Ludewig, Jochen
- Universitätsbibliothek der Universität Stuttgart
Time of origin
- 2014
Other Objects (12)
Zur Erstellung der Spezifikation von Prozessrechner-Software
Zur Erstellung der Spezifikation von Prozessrechner-Software
Zur Erstellung der Spezifikation von Prozessrechner-Software
Zur Erstellung der Spezifikation von Prozeßrechner-Software
ESPRESO - ein System zur Erstellung der Spezifikation von Prozeßrechner-Software
Stand der Forschung und Technik auf dem Gebiet der rechnerunterstützten Spezifikation von Prozessrechner-Software
ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software
Vom Atelier zur Werkstatt : Ansätze zur systematischen Software-Entwicklung
Einführung in die Informatik : Skriptum Informatik I, II
Software- und Automatisierungsprojekte : Beispiele aus der Praxis
Einführung in die Informatik : Skriptum Informatik I, II
ESPRESO : a system for process control software specification
Zur Erstellung der Spezifikation von Prozessrechner-Software
Zur Erstellung der Spezifikation von Prozessrechner-Software
Zur Erstellung der Spezifikation von Prozessrechner-Software
Zur Erstellung der Spezifikation von Prozeßrechner-Software
ESPRESO - ein System zur Erstellung der Spezifikation von Prozeßrechner-Software
Stand der Forschung und Technik auf dem Gebiet der rechnerunterstützten Spezifikation von Prozessrechner-Software
ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software
Vom Atelier zur Werkstatt : Ansätze zur systematischen Software-Entwicklung
Einführung in die Informatik : Skriptum Informatik I, II
Software- und Automatisierungsprojekte : Beispiele aus der Praxis
Einführung in die Informatik : Skriptum Informatik I, II
ESPRESO : a system for process control software specification
Zur Erstellung der Spezifikation von Prozessrechner-Software
Zur Erstellung der Spezifikation von Prozessrechner-Software
Zur Erstellung der Spezifikation von Prozessrechner-Software
Zur Erstellung der Spezifikation von Prozeßrechner-Software
ESPRESO - ein System zur Erstellung der Spezifikation von Prozeßrechner-Software
Stand der Forschung und Technik auf dem Gebiet der rechnerunterstützten Spezifikation von Prozessrechner-Software
ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software
Vom Atelier zur Werkstatt : Ansätze zur systematischen Software-Entwicklung
Einführung in die Informatik : Skriptum Informatik I, II
Software- und Automatisierungsprojekte : Beispiele aus der Praxis
Einführung in die Informatik : Skriptum Informatik I, II