Hi, A new TOPCASED-EventB version was released : 1.0.2. Some bugs were fixed, design improved and Rodin2EventB tool added (import a Rodin model to generate a TOPCASED-EventB diagram). Consult the release note to have more information. You can download it in the "Fichiers" section of the forge.
We are looking for contributors to improve the project. So, don't hesitate to contact us ! Regards, Philippe BLANC TOPCASED-EventB Admin http://gforge.enseeiht.fr/projects/eventb/ http://www.clearsy.com/php/projet_topcased_en.php _______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/mailman/listinfo/topcased-users
