FORMATION EVENT-B (B ÉVÉNEMENTIEL)
MODALITÉS FORMATION EVENT-B
Le B événementiel est une spécialisation de la méthode formelle B, utilisée pour décrire formellement les systèmes et raisonner mathématiquement sur leurs propriétés.
MODALITÉS DE LA FORMATION EVENT-B (B ÉVÉNEMENTIEL)
Le but de cette formation est de permettre l’utilisation du B événementiel pour la modélisation et la validation de systèmes. La formation fournit un rappel des principes de la méthode formelle B et de la théorie utilisée par le B événementiel ainsi qu’une introduction aux spécificités de ce dernier.
OBJECTIFS :
> Acquérir les bases de la méthode formelle B.
> Comprendre les principes de la modélisation de systèmes avec B.
> Valider des propriétés sur des systèmes en utilisant le B événementiel.
> Écrire de “bons” modèles en B événementiel.
PERSONNES CONCERNÉES :
> Toute personne voulant acquérir des connaissances sur le B événementiel.
> Toute personne voulant utiliser B pour modéliser des systèmes.
PRÉ- REQUIS :
> Connaissances mathématiques du niveau d’un bac scientifique.
> Connaissances de base en B, ou formation “comprendre B” conseillés.
DURÉE :
4 jours
ORGANISATION :
> 10 personnes au maximum par formation.
> La formation se déroule dans les locauxde CLEARSY à Aix ou à Paris (Sauf dispositions exceptionnelles).
> Contactez CLEARSY pour connaître les dates des prochaines formations.
PROGRAMME :
> Introduction au B événementiel.
> Le langage B événementiel.
> Techniques de raffinement.
TARIFS :
> Une réduction de 15% est accordée pour un groupe de 3 personnes au moins, du même organisme.
DES RÉFÉRENCES :
> Métro de New York (NYCT), du 26 au 29 Janvier 2010. (États-Unis)
> Alstom, du 12 au 15 Octobre 2010. (France)
