TU Bergakademie Freiberg | Fakultät für Mathematik und Informatik

1. Workshop Boolesche Probleme

Dr.-Ing. Volker Zerbe, TU Ilmenau, Institut für Theoretische und Technische Informatik, D - 98684 Ilmenau

Zusammenfassung
Für eine schnelle und effektive Entwicklung von industriellen Produkten (Steuerungssysteme, etc.) ist eine Automatisierung des Entwurfs notwendig. Die formale Spezifikation des Problems spielt dabei eine entscheidende Rolle. Für digitale parallele Systeme sind Automatennetze als Spezifikationsmittel sehr gut geeignet. Sie sind Verständigungsmittel zwischen verschiedenen Entwicklern und Ausgangspunkt für die Validierung und Implementierung.