Zusammenfassung
Mit der fortschreitenden technologischen Entwicklung in Hardware- und Software, mit Mikroprozessoren, verteilten Rechnersystemen, Dialogprogrammierung und mancher anderen Neuerung, wird der Begriff “Systemprogrammierung„ zunehmend unschärfer. Konnte man ihn noch vor einigen Jahren definieren als “Herstellung und Wartung derjenigen Software, welche nicht unmittelbar die Anwenderschnittstelle realisiert„, so ist dies heute kaum noch haltbar. Bei vielen Mikroprozessor- und Prozeßrechner-Systemen läßt sich nur schwer eine exakte Grenze zwischen Anwendungs- und Systemprogrammen ziehen. Und es gibt kaum eine “System-programmier-Technik„, die nicht auch in den Entwurf und die Realisierung der Anwendungssoftware eines großen Rechnernetzes eingeht.
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.
Literatur
W. Bartussek, D.L. Parnas, “Using Traces to write Abstract Specifications for Software Modules„, UNC Report No. TR 77–012 University of North Carolina, Chapel Hill, North Carolina (DEC. 1977)
W. Bartussek, “Arbeitspapier über die Spezifikation abstrakter Verwalter mit Aussagen über Spuren„, TH Darmstadt, FB Informatik, Darmstadt (1979)
L.A. Belady, M.M. Lehman, “A Model of Large Program Development„, IBM Syst. J. 15 (1976), S. 22
L. von Bertalanffy, “General System Theory„, Penguin Univ. Books, Harmondsworth (1973)
R. Budde, “Workshop-Bericht über den STPMU-Teil ‘Theoretische Ansätze zur Software-Technologie’“, GMD Schloß Birlinghoven (19.06.1979)
R.A. de Millo, R.J. Lipton, A.J. Periis, “Social Processes and Proofs of Theorems and Programs„, CACM 22, (May 1979) S. 271
E. Denert, “Specification and Design of Dialogue Systems with State Diagrams„, Int. Comp. Symposium (ICS), Liege (05. — 07. April 1977), S. 417
F. de Remer, H.H. Kron, “Programming-in-the-large versus Programming-in-the-small„, IEEE Trans. Software Eng. SE-2 (June 1976), S. 80
K. Grindley, “Systematics„, McGraw Hill, London (1975)
J.V. Guttag, E. Horowitz, D.R. Musser, “The Design of Data Type Specifications„, Proc. 2nd Int. Conf. on Software Engineering, San Francisco (Oct. 1976), S. 414
J.V. Guttag, E. Horowitz, D.R. Musser, “Some Extensions to Algebraic Specifications„, Proc. ACM Conf. on Language Design for Reliable Software, SIGPLAN Notices (March 1977), S. 63
M. Hamilton, S. Zeldin, “Higher Order Software — a Methodology for Defining Software„, IEEE Trans. Software Eng. SE-2 (1976), S. 9
“IFIP Guide to Concepts and Terms in Data Processing„, (I.H. Gould ed.) North Holland, Amsterdam und London (1971)
W. Koch, “SPEZI, eine Sprache zur Formulierung von Spezifikationen„, Vortrag auf dieser Tagung
D.S. Koreimann, “Lexikon der angewandten Datenverarbeitung„, de Gruyter, Berlin (1977)
B. Liskov, S.N. Zilles, “Specification Techniques for Data Abstractions„, Reprint in: Tutorial on Software Design Techniques (P. Freeman, A.I. Wasserman, eds.), IEEE Computer Soc, San Francisco (Oct. 1976), S. 129
B. Liskov, S. Zilles, “An Introduction to Formal Specifications of Data Abstractions„, in “Current Trends in Programming Methodology, Vol.1, Software Specification and Design„ (R.T. Yeh ed.), Prentice-Hall, Englewood Cliffs N.J. (1977), S. 1
D.L. Parnas, “A Technique for Software Module Specification with Examples„, CACM 15 (1972), S. 330
D.L. Parnas, “Use of Abstract Interfaces in the Development of Software for Embedded Computer Systems„, NRL Report 8047, Naval Research Lab., Washington, D.C. (June 1977)
H.A. Pierer, “Universal-Lexikon der Gegenwart und Vergangenheit„, Altenburg (1845)
L. Robinson, K.N. Levitt, P.G. Neumann, A.R. Saxena, “A Formal Method for the Design of Operating System Software„, in “Current Trends in Programming Methodology, Vol.1, Software Specification and Design„ (R.T. Yeh ed.), Prentice-Hall, Englewood Cliffs, N.J. (1977), S. 61
G. Seegmüller, “Einführung in die Systemprogrammierung„, BI Wissenschaftsverlag, Mannheim (1974)
W.M. Turski, “Computer Programming Methodology„, Heyden, London (1978)
G.M. Weinberg, “An Introduction to General Systems Thinking„, Wiley, New York (1975)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin · Heidelberg
About this paper
Cite this paper
Schnupp, P. (1979). Aktuelle Probleme Der Systemprogrammierung -Eine Subjektive Bestandsaufnahme. In: Böhling, K.H., Spies, P.P. (eds) GI — 9. Jahrestagung. Informatik-Fachberichte, vol 19. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-67444-0_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-67444-0_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09664-1
Online ISBN: 978-3-642-67444-0
eBook Packages: Springer Book Archive