List of Figures

• 2.1. Symbol für Eclipse-Plug-ins
• 3.1. Zustand mit verbundenem Layout
• 3.2. Layout mit GUI-Elementen
• 3.3. GUI-Element mit Properties
• 3.4. Komposition von Layouts komplexer Zustände
• 3.5. Modifizierung geerbter GUI-Elemente
• 3.6. Schrittweise Änderung eines GUI-Elements durch mehrere Layouts
• 3.7. Graphisches Feedback über gefundene Probleme
• 3.8. Laufende Simulationen können im Modell mitverfolgt werden
• 4.1. Aufsatzpunkt des GuiBuilder-Plug-ins
• 4.2. Klassenstruktur des GuiEditor
• 4.3. Verknüpfung von Zustand und Layout
• 4.4. Interface IGuiElement
• 4.5. Hierarchie der GUI-Elemente
• 4.6. Interface IProperty
• 4.7. Hierarchie der Properties
• 4.8. Änderungen von Properties im MVC-Konzept
• 4.9. Hierarchie der Figures von GUI-Elementen
• 4.10. Organisation des Layouts
• 4.11. Klassenstruktur der Validatoren
• 4.12. Klassenstruktur der Validierung
• 4.13. Validierungsprozess
• 4.14. Interface Problematic
• 4.15. Hierarchie der Probleme
• 4.16. Benachrichtigungsprozess über gefundene Probleme
• 4.17. Hierarchie der Lösungen
• 4.18. Klassenstruktur des GUI-Simulators
• 4.19. Simulator-View
• 4.20. Simulation einer GUI
• 4.21. Remote Control als GuiSimulationListener
• 4.22. Verbindungsprotokoll des GUI-Simulators
• 5.1. Ausgangspunkt der Modellierung
• 5.2. Verfeinerung der Funktionalitäten
• 5.3. GUI-Elemente im Layout des FERNSEHER-Zustands
• 5.4. Interaktionssignal eines Bedienknopfs
• 5.5. Editierung der Eigenschaften eines Bedienknopfs
• 5.6. Das Aussehen im Zustand FERNSEHER
• 5.7. Das Text-Element für die Programmkürzel
• 5.8. Aktivierte Bedienelemente
• 5.9. Anzeige des Programms des akuellen Senders
• 5.10. Mute-Knopf bei aktivierter Stummschaltung
• 5.11. Deaktivierung des Lauter-Knopfs bei voller Lautstärke
• 5.12. Die modellierte GUI in Aktion