No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{DISPLAYTITLE:BMotionWeb}} | |||
[[Category:Components]] | [[Category:Components]] | ||
__NOTOC__ | __NOTOC__ | ||
Line 6: | Line 7: | ||
</div> | </div> | ||
<h4 style="text-align:center;">What is | <h4 style="text-align:center;">What is BMotionWeb?</h4> | ||
<h4 style="text-align:center;"> | <h4 style="text-align:center;">BMotionWeb is a tool built on top of the [[ProB Java API]] for creating domain specific visualizations of Classical-B, Event-B and CSP models.</h4> | ||
<h3 style="text-align:center;">Download</h3> | <h3 style="text-align:center;">Download</h3> | ||
<div style="text-align:center;"> | <div style="text-align:center;"> | ||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline"> | ||
<i class="glyphicon glyphicon-download"></i> [[BMotion_Studio_Download | Download | <i class="glyphicon glyphicon-download"></i> [[BMotion_Studio_Download | Download BMotionWeb]] | ||
</p> | </p> | ||
</div> | </div> | ||
Line 23: | Line 24: | ||
</p> | </p> | ||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline"> | ||
<i class="glyphicon glyphicon-check"></i> [http://www3.hhu.de/stups/handbook/bmotion/current/html/tutorial_b.html Tutorial: | <i class="glyphicon glyphicon-check"></i> [http://www3.hhu.de/stups/handbook/bmotion/current/html/tutorial_b.html Tutorial: BMotionWeb for Event-B and Classical-B] | ||
</p> | </p> | ||
</div> | </div> |