Formation sur l’outil BART

Modalités de la Formation BART

Objectifs	Apprendre à raffiner automatiquement un modèle B en utilisant BART.
Personnes concernées	Toute personne désirant produire efficacement des logiciels en utilisant la méthode formelle B.
Pré-Requis	Formation B Niveau 2 (Avoir fait la formation niveau 3 est un plus).
Durée	3 jours
Organisation	10 personnes au maximum par formation. La formation se déroule dans les locaux de ClearSy à Aix ou à Paris (sauf dispositions exceptionnelles). Contactez ClearSy pour connaître les dates des prochaines formations.
Tarifs	1.780 EUR HT par personne. Une réduction de 15 % est accordée pour un groupe de 3 personnes au moins, du même organisme.
Programme	Rappel des Principes du Raffinement Description des principes de l’activité de raffinement d’un modèle abstrait en un modèle concret: raffinement de données raffinement de substitution Comment et pourquoi l’automatisation de ces principes est-elle possible ? Les principes de l’outil BART Comment raffiner un modèle abstrait : quels sont les pré-requis à un raffinement automatique, comment écrire des règles de raffinement : règles de raffinement de variable règles de raffinement d’opérations Présentation des pièges à éviter lors du raffinement, comment obtenir des modèles efficaces tout en limitant l’effort de preuve ? Utilisation de l’Interface Graphique Description de l’interface et mise en oeuvre sur des exemples Organisation Pratique Plus des deux tiers de la formation se déroule sous la forme de Travaux Pratiques.

Les commentaires sont fermés.