Zusammenfassung
ESPRESO (System zur Erstellung der Spezifikation von Prozeβrechner-Software) wurde in den Jahren 1978–1982 im IDT entwickelt (Ludewig, 1981a). Vorausgegangen war die Installation des PSL/PSA Systems (Teichroew, Hershey, 1977) und die Entwicklung und Erprobung von PCSL (JProcess Control Software language) (Ludewig 1980) - eine Variante von PSL, die speziell für die Entwicklung von Prozeβrechner-Software geeignet ist und in die Systemumgebung des PSL/PSA- Systems eingebettet ist. Mit ESPRESO wurde dann eine Neuentwicklung begonnen, so daβ man von der PSL/PSA-Umgebung völlig unabhangig wurde. Angestrebt wurde eine Installation auf einem Kleinrechner.
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.
Literaturverzeichnis
Boehm B.W. (1976):Software engineering IEEE Trans. Comput.,C-25,1226–1241
Eckert K., J. Ludewig (1981): ESPRESO-W ein Werkzeug für die Spezif ikation von Prozessrechner-Software. in G. Goos (Ed.) Werkzeuge der Programmiertechnik. Informatik Fachbericht 43 - Springer Verlag, 101–112.
Epple W.K. (1982):EPOS - ESPRESO - SARS - ein praktischer Vergleich. Institut für Informatik,Universität Karlsruhe. Interner Bericht Nr. 26/82.
Fetsch F., L. Gmeiner, U. Voges (1981): Entwurf eines hochzuverlässigen redundanten Mikrorechnernetzes. in Brauer W. (Hrsg.): GI-11 Jahrestagung. Informatik Fachberichte, Springer, S 317–326.
Gmeiner L.,U. Voges (1982) Erfahrungen mit dem Einsatz automatischer Werkzeuge für die Qualitätssicherung während Entwurf und Test, in Sneed H.M., H.R. Wiehle (Hrsg.): Software-Qualitätssicherung. Teubner Stuttgart; German Chapter of the ACM Bd. 9; S 235–252.
Hoare C.A.R. (1974): Monitors: An operating system structuring concept. Commun. ACM, 17, 549–557.
Hommel G. (1980): Vergleich verschiedener Spezifikationsverfahren am Beispiel einer Paketverteilanlage.PDV-Bericht 186, Band 1 und 2, KfK.
Keutgen H., F.J. Stoever (1978): Rechnergesteuerte Abfüllüberwachung. Qualität und Zuverlässigkeit, Heft 6.
Koster C.H.A. (1977):Visibility of Types in Cousot P. (ed.): Machine oriented languages Bulletin 6.(IFIP WG 2.4),IRIA, Le Chesnay,Frakreich; pp. 37–48.
Ludewig J. (1980): PCSL - a process control software specification language. KfK 2874.
Ludewig J. (1981a): Zur Erstellung der Spezifikation von Prozeβrechner-Software. KfK 3060.
Ludewig J. (1981b): PCSL und ESPRESO - zwei Ansätze zur Formalisierung der Prozeβrechner-Softwarespezifikation. in Baumann R. (Hrsg.): GI Fachtagung Prozeβrechner. Informatik-Fachberich 39, Springer Verlag, 76–86.
Parnas D.L. (1972): A technique for software module specification with examples. Commun. ACM, 15, 330–336.
Reinshagen K.P. (1983): Erfahrungen beim Einsatz eines entwurfsunterstützenden Spezifikationssystems. in Ludewig J. (Hrsg.): Spezifikation von Realzeit-Systemen - Konzepte, Lösungen und Erfahrungen.Schweizerische Gesellschaft für Automatik 127–152.
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 no. 10, Univerity of Glasgow, Computing Departement.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1983 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Eckert, K. (1983). Erfahrungen beim Einsatz des Spezifikationssystems ESPRESO. In: Hommel, G., Krönig, D. (eds) Requirements Engineering. Informatik-Fachberichte, vol 74. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69293-2_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-69293-2_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-12692-8
Online ISBN: 978-3-642-69293-2
eBook Packages: Springer Book Archive