Spezifikationsmodule - Software and Systems Engineering - TUM
Spezifikationsmodule - Software and Systems Engineering - TUM
Spezifikationsmodule - Software and Systems Engineering - TUM
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
zwei Datentypen auf Vereinbarkeit geprüft werden. Anh<strong>and</strong> eines einfachen Beispiels<br />
haben wir die interaktive Typvereinigung auch konstruktiv durchgeführt<br />
und schließlich noch die allgemeine Version der interaktiven Vereinigung von<br />
Datentypen, Konstruktoren und Selektoren programmiert. Dieses Wissen wird<br />
uns im Weiteren helfen ein Lösungskonzept für die gestellte Gesamtaufgabe aus<br />
theoretischer Sicht zu entwickeln. Bei der konkreten Umsetzung eines auf diesem<br />
Konzept beruhenden interaktiven Ablaufs werden wir Teile der hier definierten<br />
ODL-Ausdrücke wiederverwenden.<br />
31