Dieses Buch ist im wesentlichen aus einer zweisemestrigen Vorlesung mit den Abschnitten "Strukturierter Entwurf von Algorithmen der Proze -Automatisierung" (Einfiihrung in den Software-Entwurf) und "Proze -Automatisierungssprachen" (Software-Entwurfrur Realzeit-Systeme) mit bungen entstanden. Sie wird von mir seit etwa sieben Jahren an der Universit t Bremen rur Studenten der Elektrotechnik im 7. und 8. Semester mit dem Ziel angeboten, Realzeit-Software...