BProVe Eclipse Integration


Step 1. From the menu choose: Help / Install New Software...

Step 2. Click the  Add button

Step 3. In the  Add Repository  dialog that appears, paste the BProVe update site http://pros.unicam.it/BProVe_update_site/ click the OK 

Step 4. Uncheck  Group items by category

Step 5. Click Next Accept the license and follow the procedure


Once installed, you can access BProVe by clicking over the BProVe icon (as shown in the following figure). The interface and the usage are the same described for the BProVe standalone.

Video Tutorial

Below a BProVe tutorial for its integration in Eclipse is reported.