BMotion Studio: Difference between revisions
No edit summary |
No edit summary |
||
| Line 5: | Line 5: | ||
</div> | </div> | ||
< | <h4 style="text-align:center;">BMotion Studio is a tool built on top of the [[ProB Java API]] for creating domain specific visualisations of formal models.</h4> | ||
<div style="text-align:center;"> | <div style="text-align:center;"> | ||
| Line 13: | Line 13: | ||
</div> | </div> | ||
< | <br/><br/> | ||
<h4 style="text-align:center;">Getting Started</h4> | |||
<div style="text-align:center;"> | <div style="text-align:center;"> | ||
| Line 21: | Line 23: | ||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline"> | ||
<i class="fa fa-user"></i> [[BMotion Studio User Manual | User Manual]] | <i class="fa fa-user"></i> [[BMotion Studio User Manual | User Manual]] | ||
</p> | |||
</div> | |||
<br/><br/> | |||
<h4 style="text-align:center;">BMotion Studio is open source. It's hosted, developed, and maintained on GitHub.</h4> | |||
<div style="text-align:center;"> | |||
<p class="btn btn-lg btn-outline"> | |||
[https://github.com/ladenberger/bmotion View the GitHub project] | |||
</p> | </p> | ||
</div> | </div> | ||
Revision as of 11:38, 19 November 2014
BMotion Studio is a tool built on top of the ProB Java API for creating domain specific visualisations of formal models.
Getting Started