BMotion Studio: Difference between revisions
No edit summary |
No edit summary |
||
| Line 9: | Line 9: | ||
<h4 style="text-align:center;">BMotion Studio for ProB is a tool built on top of the [[ProB Java API]] for creating domain specific visualisations of Classical-B, Event-B and CSP models.</h4> | <h4 style="text-align:center;">BMotion Studio for ProB is a tool built on top of the [[ProB Java API]] for creating domain specific visualisations of Classical-B, Event-B and CSP models.</h4> | ||
<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" style="width:600px;"> | ||
[http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-standalone/releases/ Download BMotion Studio for ProB] | <i class="glyphicon glyphicon-download"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-standalone/releases/ Download BMotion Studio for ProB] | ||
</p> | </p> | ||
</div> | </div> | ||
<br/> | <br/> | ||
<h3 style="text-align:center;">Getting Started</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" style="width:600px;"> | ||
<i class="glyphicon glyphicon-film"></i> [http://cobra.cs.uni-duesseldorf.de:18080/bms/landing/landinggear.html Try our online | <i class="glyphicon glyphicon-film"></i> [http://cobra.cs.uni-duesseldorf.de:18080/bms/landing/landinggear.html Try our online visualization] | ||
</p> | </p> | ||
</div> | </div> | ||
<div style="text-align:center;"> | <div style="text-align:center;"> | ||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline" style="width:600px;"> | ||
<i class="fa fa-road"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/tutorial_b.html Tutorial: BMotion Studio for Event-B and Classical-B] | <i class="fa fa-road"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/tutorial_b.html Tutorial: BMotion Studio for Event-B and Classical-B] | ||
</p> | </p> | ||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline" style="width:600px;"> | ||
<i class="fa fa-road"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/tutorial_csp.html Tutorial: BMotion Studio for CSP] | <i class="fa fa-road"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html/tutorial_csp.html Tutorial: BMotion Studio for CSP] | ||
</p> | </p> | ||
| Line 36: | Line 34: | ||
<div style="text-align:center;"> | <div style="text-align:center;"> | ||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline" style="width:600px;"> | ||
<i class="fa fa-user"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html User Manual] | <i class="fa fa-user"></i> [http://nightly.cobra.cs.uni-duesseldorf.de/bmotion/bmotion-prob-handbook/nightly/html User Manual] | ||
</p> | </p> | ||
Revision as of 07:28, 2 June 2015
What is BMotion Studio for ProB?
BMotion Studio for ProB is a tool built on top of the ProB Java API for creating domain specific visualisations of Classical-B, Event-B and CSP models.
Download
Getting Started