Claudia Ermel Livres

In recent years, visual models represented by graphs have gained popularity in systems development, evidenced by the widespread use of UML and Petri nets. While these techniques offer a precise means to model system structure and behavior, they can be complex and inadequate for behavior validation. This doctoral thesis aims to enhance the validation process for visual behavioral models by introducing a formal framework and tool support for simulation and animation through typed algebraic graph transformation. The thesis advocates for the use of animation views for simulation, allowing model behavior to be represented in the application domain's layout at a chosen level of abstraction. This approach offers better insights into model behavior, facilitating earlier detection of inconsistencies and missing requirements. A visual behavioral model is transformed into an animation view using the Simulation-to-Animation (S2A) transformation, ensuring semantic equivalence through formal graph transformation properties. A prototypical tool environment supports simulation, animation view definition, S2A transformation, and animation based on graph transformation. Animation scenarios can be visualized as smooth movements rather than discrete simulation steps, enhancing the overall understanding of the model.

In diesem Buch lernst du Schritt für Schritt, wie du mit elektronischen Bauteilen wie LEDs und Widerständen kreative Projekte wie Glückwunschkarten und Spielzeug basteln kannst. Es vermittelt grundlegendes Wissen über Strom und Spannung und ist ideal für Kinder und Jugendliche ab 10 Jahren. Viel Spaß beim Basteln!

Bunte Spiralen, Dreiecke in Dreiecken in Dreiecken, blühende Bäume, Schneeflocken unter dem Mikroskop? Mit diesem Buch lernst du, immer schönere Bilder mit dem Computer zu zeichnen. Es fängt ganz leicht an: Zuerst lässt du die Schildkröte, die deinen Pinsel hält, einfach nur über den Bildschirm laufen. Als nächstes bringst du ihr bei, ein Dreieck zu zeichnen. Wenn du ein Dreieck zeichnen kannst, kannst du auch ganz viele zeichnen, denn die Schildkröte nimmt dir die Arbeit ab. Dann kombinierst du Dreiecke zu Mosaiken und lässt Blumen und Bäume wachsen. Du hast ganz viele eigene Ideen für Bilder? Dieses Buch liefert dir die Python-Programmierbefehle dazu. Bestens geeignet für Kinder und Jugendliche ab 12 Jahre. Viel Spaß!

Bunte Spiralen, Schneeflocken unter dem Mikroskop, 3D-Bilder? Mit diesem Buch lernst du, immer schönere Bilder mit dem Computer zu zeichnen. Es fängt ganz leicht Zuerst lässt du die Schildkröte, die deinen Pinsel hält, einfach nur über den Bildschirm laufen. Als nächstes bringst du ihr bei, ein Dreieck zu zeichnen. Wenn du ein Dreieck zeichnen kannst, kannst du auch ganz viele zeichnen, denn die Schildkröte nimmt dir die Arbeit ab. Dann kombinierst du Dreiecke zu Mosaiken und lässt Blumen und Bäume wachsen. Noch nicht genug? Zeichne 3D-Bilder und optische Täuschungen, animiere die Schildkröte, lasse sie Futter suchen oder steuere sie durch ein Labyrinth. Du hast noch mehr Ideen für eigene Bilder oder Spiele? Dieses Buch liefert dir die Python-Programmierbefehle dazu.Bestens geeignet für Kinder und Jugendliche ab 12 Jahre.