Zusammenfassung
ESPRESO (System zur Erstellung der Spezifikation von Prozeßrechner-Software) ist ein rechnerunterstütztes Spezifikationssystem, das spezielle Anforderungen der Spezifikation von Prozeßrechner-Software berücksichtigt. Die Komponenten von ESPRESO sind eine formale Sprache ESPRESO-S und ein Programmsystem ESPRESO-W. Im vorliegenden Beitrag werden die wesentlichen Aspekte von ESPRESO-S kurz zusammengefaßt. Danach werden Konzeption und Aufbau von ESPRESO-W und Probleme seiner Implementierung ausführlich dargestellt.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturangaben
Boehm, B.W. (1976): Software engineering. IEEE Trans. Comp., C-25, S. 1226–1241.
Eckert, K. (1980): Implementierung eines Spezifikationssystems für Prozeßrechner-Software. Diplomarbeit, Universität Karlsruhe.
Jackson, M. (1975): Principles of program design. Academic Press, London, New York.
Kieburtz, R.B., W. Barabash, C.R. Hill (1979): Stony Brook Pascal/360, User’s Guide — Release 2 — State University of New York at Stony Brook.
Knuth, D.E. (1971): Top-down syntax analysis. Acta Informatica, 1.
Ludewig, J., W. Streng (1978):Überblick und Vergleich verschiedener Mittel für die Spezifikation und den Entwurf von Software. KfK 2506
Ludewig, J. (1980): PCSL — a process control software specification system. KfK 2874.
Ludewig, J. (1981a): Zur Erstellung der Spezifikation von Prozeürechnersoftware. Dissertation, TU München; erscheint ebenfalls als KfK 3060.
Ludewig, J. (1981b): PCSL und ESPRESO — zwei Ansätze zur Formalisierung der Prozeßrechner-Softwarespezifikation. in R. Baumann ( Hrsg. ); GI Fachtagung Prozeßrechner (in Vorbereitung).
Parnas, D.L. (1972): A technique for software module specification with examples. CACM Vol. 15, No. 5, S. 330–336.
Teichroew, D., E.A. Hershey III (1977): PSL/PSA: a computer-aided technique for structured documentation and analysis of information processing systems. IEEE Trans. Software Eng., SE-3, 41–48.
Watt, D.A., O.L. Madsen (1977): Extended attribute grammars. Report 10, University of Glasgow.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Eckert, K., Ludewig, J. (1981). ESPRESO-W, ein Werkzeug für die Spezifikation von Prozeßrechner-Software. In: Goos, G. (eds) Werkzeuge der Programmiertechnik. Informatik-Fachberichte, vol 43. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68064-9_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-68064-9_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10725-5
Online ISBN: 978-3-642-68064-9
eBook Packages: Springer Book Archive