Rechtsfähigkeit und Verbandsverfassung: Überlegungen zur Problematik der als nichtrechtsfähige Vereine organisierten Gewerkschaften

Dieses Buch ist eine Einführung in die wichtigsten Themen und Fragestellungen beim Entwurf von Eingebetteten und Cyber-Physischen Systemen. Ausgehend von den zugrundeliegenden Technologien, Prozessor- und Netzwerkarchitekturen werden Modellierungssprachen und moderne Ansätze zur Analyse und Synthese von eingebetteten Hardware/Software-Systemen vorgestellt. Einen breiten Raum nimmt das Gebiet Entwicklungsmethodik ein, das für Studierende sowie Informatiker und Ingenieure gedacht ist, die als Entwickler tätig werden wollen oder es bereits sind.
Der Stoff wird anschaulich anhand vieler Bilder und Beispiele dargestellt. Dabei verzichten wir bewusst auf mathematische Beweise und Formalismen und setzen den Fokus auf die Darstellung aktueller Methoden und Ansätze aus Wissenschaft und Industrie mit hoher Praxisrelevanz. Somit kann der Text auch als Ergänzung für eine formalere Behandlung des Themas verwendet werden. Das Werk orientiert sich didaktisch an einer zweisemestrigen Vorlesung im Masterstudiengang der Universität Tübingen.
Einzelne Kapitel können als getrennte Vorlesungseinheiten verwendet werden.