HOME Update Site PAPERS User's Guide


Meeduse integrates the ProB tool within EMF-based frameworks like XText, Sirius, GMF. To use Meeduse:

  1. Install the Eclipse Modelling Tools. Any recent distribution should work.

  2. Launch your eclipse and install B4MSecure and Meeduse from the following update sites:
    • B4MSecure: http://vasco.imag.fr/tools/b4msecure/updates/build
    • Meeduse: http://vasco.imag.fr/tools/meeduse/updates/build

    See the Eclipse User Guide for instructions on how to install software from update sites.