BMotion Studio: Difference between revisions

No edit summary
No edit summary
Line 1: Line 1:
[[Category:Components]]
[[Category:Components]]


BMotion Studio is a tool built on top of the [[ProB Java API]] for creating domain specific visualisations of formal models.
<h3 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.</h3>
 
There exists an integration for [[ProB for Rodin | Rodin]].
 
== Download ==


<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> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion-prob-standalone/releases/ Standalone]
    [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion-prob-standalone/releases/ Download BMotion Studio for ProB]
                    </p>
</div>


                    </p>
<h3 style="text-align:center;">Getting Started</h3>


== Documentation ==
<div style="text-align:center;">
                     <p class="btn btn-lg btn-outline">
                     <p class="btn btn-lg btn-outline">
      <i class="fa fa-road"></i> [[BMotion Studio Tutorial | Tutorial]]
      <i class="fa fa-road"></i> [[BMotion Studio Tutorial | Tutorial]]
Line 19: Line 18:
      <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>
                     </p>
</div>

Revision as of 11:31, 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