Publié le 26/05/2010 |
Le Livre de Jean-Raymond Abrial, dédié au B événementiel est disponible depuis le mois de mai 2010.
Ce livre, rédigé en anglais et comprenant plus de 600 pages s’intitule “Modeling in Event-b: System and Software Design”.
Il présente les enjeux d’une modélisation de système et de logiciel en B événementiel, un langage issu de la méthode B et permettant de décrire un système à l’aide d’événements…