This book presents a collection of revised refereed papers selected from the contributions to the Fifth International Workshop on Computer Aided Systems Theory, EUROCAST '95, held in Innsbruck, Austria in May 1995.
The 42 full papers contained have been contributed by CAST theoreticians, tool-makers, designers, and appliers and reflect the full spectrum of activities in the area. The papers are organized in sections on systems theory, design environments, complex systems design, and specific applications.

The concept of CAST as Computer Aided Systems Theory was introduced by F. Pichler in the late 1980s to refer to computer theoretical and practical developments as tools for solving problems in system science. It was thought of as the third component (the other two being CAD and CAM) required to complete the path from computer and systems sciences to practical developments in science and engineering. Franz Pichler, of the University of Linz, organized the first CAST workshop in April 1988, which demonstrated the acceptance of the concepts by the scientific and technical community. Next, the...

Dieses Buch befat sich mit der Aufgabe, einen Grundrahmen fur den Aufbau einer Methodenbank der Systemtheorie zu schaffen und die Anwendung desselben mittels einer konkreten Software-Implementierung zu demonstrieren. Als allgemeines Problemlosungsgerust wird die sogenannte STIPS-Maschine eingefuhrt, mit der "Systemtypen" uber "Systemtransformationen" abgeleitet und interaktiv "Systemalgorithmen" entwickelt werden konnen. Am Beispiel der speziellen Methodenbank CAST.FSM fur die Behandlung von Problemstellungen der Automaten- und Schaltwerktheorie wird dieses Konzept demonstriert. Ziel ist es...