Skip to main content
SpringerLink
Log in
Book cover

Requirements Engineering pp 104–118Cite as

Erfahrungen beim Einsatz des Spezifikationssystems ESPRESO

  • Conference paper

  • 116 Accesses

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 74))

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.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

  • Boehm B.W. (1976):Software engineering IEEE Trans. Comput.,C-25,1226–1241

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • Epple W.K. (1982):EPOS - ESPRESO - SARS - ein praktischer Vergleich. Institut für Informatik,Universität Karlsruhe. Interner Bericht Nr. 26/82.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Google Scholar 

  • Hoare C.A.R. (1974): Monitors: An operating system structuring concept. Commun. ACM, 17, 549–557.

    Article  MATH  Google Scholar 

  • Hommel G. (1980): Vergleich verschiedener Spezifikationsverfahren am Beispiel einer Paketverteilanlage.PDV-Bericht 186, Band 1 und 2, KfK.

    Google Scholar 

  • Keutgen H., F.J. Stoever (1978): Rechnergesteuerte Abfüllüberwachung. Qualität und Zuverlässigkeit, Heft 6.

    Google Scholar 

  • 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.

    Google Scholar 

  • Ludewig J. (1980): PCSL - a process control software specification language. KfK 2874.

    Google Scholar 

  • Ludewig J. (1981a): Zur Erstellung der Spezifikation von Prozeβrechner-Software. KfK 3060.

    Google Scholar 

  • 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.

    Google Scholar 

  • Parnas D.L. (1972): A technique for software module specification with examples. Commun. ACM, 15, 330–336.

    Article  Google Scholar 

  • 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.

    Google Scholar 

  • 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.

    Article  Google Scholar 

  • Watt D.A, O.L. Madsen (1977): Extended attribute grammars. Report no. 10, Univerity of Glasgow, Computing Departement.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Kernforschungszentrum Karlsruhe, Institut für Datenverarbeitung in der Technik, Postfach 3640, D-7500, Karlsruhe, Germany

    Klaus Eckert

Authors
  1. Klaus Eckert
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Informatik, Technische Universität München, Postfach 20 24 20, D-8000, München 2, Germany

    G. Hommel

  2. Dornier GmbH, WF 30, Postfach 14 20, D-7990, Friedrichshafen 1, Germany

    D. Krönig

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation