Zusammenfassung
Noch immer fehlen Mittel und Methoden, die es dem Software-Entwickler ermöglichen, ein Programmsystem so zu planen, zu spezifizieren und zu entwerfen, daß seine Annahmen, Folgerungen und Entscheidungen ihm selbst und anderen verständlich und prüfbar sind. Da von solchen Mitteln und Methoden, die nachfolgend einheitlich als „Spezifikationssysteme“ bezeichnet werden, eine wesentliche Verbesserung der Software-Qualität zu erwarten ist, wurde im IDT etwa seit 1976 auf diesem Gebiet gearbeitet. Zunächst wurde festgestellt, welche Spezifikationssysteme bisher verfügbar Oder vorgeschlagen sind (Ludewig, Streng, 1978) und eines davon installiert, das PSL/PSA-System vom ISDOS-Project an der University of Michigan (Teichroew, Hershey, 1977). Später wurde PCSL entwickelt (Process Control Software Specification Language, Ludewig, 1980a), eine Variante von PSL, die auf die Entwicklung von Prozeßrechner-Software zugeschnitten ist. SchlieBlich wurden die Konzepte von PCSL, die teilweise mit den durch die ISDOS-Software vorgegebenen Randbedingungen kollidierten, in ein völlig neues System eingebracht, das den Namen ESPRESO (System zur Erstellung der Spezifikation von Prozeßrechner-Software) erhielt (Ludewig, 1980c). Der folgenden Darstellung liegt diese am weitesten entwickelte Form zugrunde; die Unterschiede zwischen ESPRESO und PCSL sind in Abschnitt 9 skizziert.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
Literaturangaben
Alford, M. (1977): A requirements engineering methodology for real-time processing requirements. IEEE Trans. Software Eng., SE-3, 60–69
Courtois, P.J., F. Heymans, D.L. Parnas (1971): Concurrent control with ‘readers’ and ‘writers’. Commun. ACM, 14, 667–668.
Eckert, K. (1980): Implementierung eines Spezifikationssystems für Prozeßrechner-Software Diplomarbeit, Universität Karlsruhe.
Jackson, K., H.F. Harte (1976): The achievement of well-structured software in real-time applications. Proc. of the IFAC/IFIP workshop on real-time programming, Rocquencourt, Juni 1976. pp. 229–238.
Ludewig, J., W. Streng (1978): Überblick und Vergleich verschiedener Mittel fü die Spezifikation und den Entwurf von Software KfK 2506
Ludewig, J. (1980a): PCSL - a process control software specification language. KfK 2874
Ludewig, J. (1980b): Process control software specification in PCSL. in Haase, V.(ed.): IFAC/IFIP Workshop on requirement specification. Graz, 14.-16. April 1980. Pergamon Press, erscheint etwa Dezember 1980
Ludewig, J. (1980c): Zur Erstellung der Spezifikation von Prozeßrechnersoftware. Dissertation, TU München; erscheint ebenfalls als KfK 3060.
McKeag, R.M., P. Milligan (1980): An experiment in parallel program design. Software Practice and Experience, 10, 687–693.
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, University of Glasgow, Computing Departement.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ludewig, J. (1981). PCSL und Espreso. In: Baumann, R. (eds) Fachtagung Prozeßrechner 1981. Informatik-Fachberichte, vol 39. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67977-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-67977-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10617-3
Online ISBN: 978-3-642-67977-3
eBook Packages: Springer Book Archive