FORMATION EVENT-B (B ÉVÉNEMENTIEL)


MODALITÉS FORMATION EVENT-B


picto-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.

pictos-monde
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)