Spezifikation und Modellierung

Dieses Kapitel ist den Aufgaben der Spezifikation und der Modellierung gewidmet. Dabei werden die wichtigsten konzeptionellen Modelle fur Hardware/Software-Systeme vorgestellt.