CAST Computeruntersttzte Systemtheorie

Dieses Buch befat sich mit der Aufgabe, einen Grundrahmen fr den Aufbau einer Methodenbank der Systemtheorie zu schaffen und die Anwendung desselben mittels einer konkreten Software-Implementierung zu demonstrieren. Als allgemeines Problemlsungsgerst wird die sogenannte STIPS-Maschine eingefhrt, mit der "Systemtypen" ber "Systemtransformationen" abgeleitet und interaktiv "Systemalgorithmen" entwickelt werden knnen. Am Beispiel der speziellen Methodenbank CAST.FSM fr die Behandlung von Problemstellungen der Automaten- und Schaltwerktheorie wird dieses Konzept demonstriert. Ziel ist es zu zeigen, welche Systematik heute bei der Sammlung von Methoden der Systemtheorie angewandt werden kann und wie es gelingt, eine solche Sammlung fr die Entwicklung von Anwendungssoftware fr den CAD-Bereich einzusetzen. Im Vordergrund stehen dabei die klassischen Anwendungsgebiete der Systemtheorie im Bereich des Entwurfs von komplexen Hardwaremoduln der Computertechnik und im Bereich der Signalverarbeitung. Das Buch zeigt, wie ber die Entwicklung von Programmpaketen hinaus mit den heutigen Mitteln der Softwaretechnik mit Workstations leistungsfhig interaktive Methodenbanken fr den Einsatz von systemtheoretischen Methoden in der Technik gebaut werden knnen.