Zusammenfassung
Der Aufbau konkurrenter, verteilter Programmsysteme basiert auf einer großen Zahl fundamentaler Konzepte, die in den vergangenen zwanzig Jahren entwikkelt wurden. Für ein systematisches Eindringen in dieses Fachgebiet bedarf es einer geeigneten Beschreibungsmethode zur Darstellung solcher Konzepte. Sie muß es einerseits gestatten, Algorithmen in der gewünschten Präzision zu formulieren; andererseits sollte sie sich auch dazu eignen, strukturelle Zusammenhänge in übersichtlicher Form auszudrücken und — in Abhängigkeit von der Betrachtungsebene — von unwichtigen Details zu abstrahieren.
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
P. Brinch Hansen: The Programming Language CONCURRENT PASCAL, IEEE Transactions on Software Engineering 1, No. 2 (1975)
N. Wirth: MODULA: A Language for Modular Multiprogramming, Software-Practice and Experience 7, 3–35 (1977)
Reference Manual for the ADA Programming Language, United States Department of Defense, Feb.1981
B.H. Liskov, S.N. Zilles: Programming with Abstract Data Types, Proc. ACM SIGPLAN Conf. on Very High Level Languages, Sigplan Notices 9, 50–59 (1974)
E. Denert, R. Frank: Datenstrukturen, Reihe Informatik Band 22, BI Mannheim, Wien-Zürich (1977)
D. E. Knuth: The Art of Computer Programming, Vol. 3: Sorting and Searching, Addison-Wesley Publishing Company, Massachusetts (1973)
H. Maurer: Datenstrukturen und Programmierverfahren, Teubner Studienbücher/Informatik, Stuttgart (1974)
H. Wettstein: Systemprogrammierung, Carl Hanser Verlag, München (1972)
N. Wirth: Algorithmen und Datenstrukturen, Teubner Studienbücher/Informatik, Stuttgart (1975)
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Nehmer, J. (1985). Beschreibungsmethodik. In: Softwaretechnik für verteilte Systeme. Springer Compass. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-95466-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-95466-5_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-95467-2
Online ISBN: 978-3-642-95466-5
eBook Packages: Springer Book Archive