Accueil - Nouveautés - Produit - Versions - Télécharger - Manuels - Maintenance - Politique de Distribution
Perspectives & Appels à Contribution - Support - Formation - Documents - Presse - Références -
R&D - Contacts - Emploi - Liens - Votre Compte


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

Pré-Requis

 

 

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.