Zusammenfassung
Seit seiner Gründung im Jahr 1990 werden im Sonderforschungsbereich 342 „Werkzeuge und Methoden für die Nutzung paralleler Rechensysteme“ Techniken zur Unterstützung der verschiedenen Entwurfsphasen wie auch der Ausführung paralleler Systeme entwickelt. Ziel ist es, die Programmierung verteilter und paralleler Systeme beherrschbar und ihre Nutzung effizient und zuverlässig zu machen.
Diese Arbeit entstand im Teilprojekt A6 des SFB 342 der Deutschen Forschungsgemeinschaft.
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
Das AuToFocuS-Projekt. http://autofocus.informatik.tu-muenchen.de/.
M. Breitling, U. Hinkel, and K. Spies. Formale Entwicklung verteilter reaktiver Systeme mit Focus. In Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG Fachgespräch, 1998.
M. Broy. Compositional refinement of interactive systems. Working Material, International Summer School on Program Design Calculi, August 1992.
M. Broy. (Inter-) action refinement: the easy way. Working Material, International Summer School on Program Design Calculi, August 1992.
M. Broy, F. Dederichs, C. Dendorfer, M. Fuchs, T. E. Gritzner, and R. Weber. The Design of Distributed Systems: An Introduction to Focus—Revised Version. Technical Report TUM-I9202–2, Institut für Informatik, Technische Universität München, 1993.
E. Huber, B. Schätz, A. Schmidt, and K. Spies. Autofocus—a tool for distributed systems specification. In Proceedings FTRTFT’96 — Formal Techniques in Real-Time and Fault-Tolerant Systems, LNCS 1135, 1996.
J. Philipps and B. Rumpe. Refinement of information flow architectures. In ICFEM’97, 1997.
J. Philipps and B. Rumpe. Refinement of pipe and filter architectures. In FM’99, 1999. To appear.
J. Philipps and A. Schmidt. Enwurf und Implementierung eingebetteter Systeme. In Formale Beschreibungstechniken für verteilte Systeme, 8. GI/ITG Fachgespräch, 1998.
M. Shaw and D. Garlan. Software Architecture. Prentice Hall, 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Philipps, J. (1999). Entwurf verteilter Systeme im Sonderforschungsbereich 342. In: Beiersdörfer, K., Engels, G., Schäfer, W. (eds) Informatik’99. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-01069-3_41
Download citation
DOI: https://doi.org/10.1007/978-3-662-01069-3_41
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66450-5
Online ISBN: 978-3-662-01069-3
eBook Packages: Springer Book Archive