Zusammenfassung
Eine zentrale Voraussetzung für die Entwicklung komplexer Systeme bilden Modelle, die das Verhalten eines Systems in einem für die gewünschte Anwendung angemessenen Detailierungsgrad in dem Sinne charakterisieren, daß sich alle für die Anwendung relevanten Eigenschaften des Systems aus dem Modell — in einem formalen Sinn — ableiten lassen. Gegenstand der vorliegenden Arbeit ist eine solche Modellbildung im Bereich mikroprograrmnierter Rechnerarchitekturen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Damm, W. (1987). Einleitung. In: Entwurf und Verifikation mikroprogrammierter Rechnerarchitekturen. Informatik-Fachberichte, vol 146. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-51137-0_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-51137-0_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18320-4
Online ISBN: 978-3-642-51137-0
eBook Packages: Springer Book Archive