Contact

Bibliographie : Jean-Raymond Abrial sort un livre dédié au B évènementiel

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…

Vous aimerez aussi :