Difference between pages "AnimB Flash Tutorial" and "AnimB Javascript Tutorial"
From Event-B
(Difference between pages)
Jump to navigationJump to searchimported>Mathieu m (Add direct download link) |
imported>Christophe (New page: This page discribes how to build a graphical animation for a event-b model. These animations are built following the pattern MVC (Model/View/Controller). The view part is done by a browse...) |
||
| Line 1: | Line 1: | ||
| − | + | This page discribes how to build a graphical animation for a event-b model. | |
| − | + | These animations are built following the pattern MVC (Model/View/Controller). | |
| − | |||
| − | + | The view part is done by a browser and a HTML page. | |
| − | + | The model part is given by a running animation in the Rodin plateform through AnimB and a event-b model. | |
| − | + | The controller is ensured by a piece of javascript code running in the browser. | |
| − | |||
Revision as of 01:15, 6 October 2010
This page discribes how to build a graphical animation for a event-b model. These animations are built following the pattern MVC (Model/View/Controller).
The view part is done by a browser and a HTML page. The model part is given by a running animation in the Rodin plateform through AnimB and a event-b model. The controller is ensured by a piece of javascript code running in the browser.
