Zusammenfassung
Es wird ein Verfahren vorgestellt, bei dem es dem Entwickler eines Prozeßautomatisierungssystems ermöglicht wird, schon vor der Fertigstellung der formalen Spezifikation diese ablaufen zu lassen. Es wird beschrieben, wie der technische Prozeß in Verbindung mit der ablauffähigen Spezifikation simuliert werden kann. Die Vorgehensweise wird anhand eines Beispiels erläutert.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Literatur
Göhner, P. Methoden zur Entwicklung von Realzeitsystemen und ihre praktische Anwendung in EPOS Informatik-Fachberichte Bd.86 S. 325–335 Springer 1984
Lauber, R. u. Bareiss, R. Auswertung und Erfahrung beim praktischen Einsatz einer Entwicklungsumgebung 2. Kolloquium “Software-Entwicklungs-Systeme und -Werkzeuge” der Technischen Akademie in Esslingen
Lauber, R. u. Lempp, P. Integrierte Rechnerunterstützung für Entwicklung, Projektmanagement und Produktverwaltung mit EPOS Elektronische Rechenanlagen. Oldenbourg Verlag, 27. Jahrg. (1985) S.68–74
Lauber, R. et al Einführung in EPOS Institut für Regelungstechnik und Prozeßautomatisierung Universität Stuttgart [Schm84] Schmidt, B. Der Simulator GPSS-Fortran Version 3 Springer 1984
Kampe, G. Simscript Vieweg 1971
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1988 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kurz, E. (1988). Formale Spezifikation und Rapid Prototyping — ein Widerspruch?. In: Lauber, R. (eds) Prozeßrechensysteme ’88. Informatik-Fachberichte, vol 167. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-73445-8_42
Download citation
DOI: https://doi.org/10.1007/978-3-642-73445-8_42
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18986-2
Online ISBN: 978-3-642-73445-8
eBook Packages: Springer Book Archive