Le développement de systèmes critiques demande une rigueur particulière pour obtenir des systèmes de grande qualité. Les méthodes formelles apportent cette rigueur nécessaire grâce à une modélisation mathématique des spécifications qui permet d’éliminer les ambiguïtés et d’éclaircir la spécification.

La méthode B est une méthode formelle développée par J-R. Abrial et utilisée dans le domaine industriel pour le développement de systèmes complexes.

Objectifs :

  • Acquérir la méthodologie pour la réalisation de développements B logiciels.
  • Connaître le langage B.

 

Pré-requis :

Connaissance des principes de développement de logiciels complexes.

Programme sur 3 jours :

 

  • Principes de la méthode B
  • Principes d’un développement logiciel en B
  • Modélisation des données, des exigences et des traitements en B
  • Structurer un développement logiciel en B
  • Appliquer les techniques de raffinement
  • Principes de validation par la preuve

Contactez-nous  Catalogue des formations

Activité enregistrée sous le numéro 93 13 12834 13 auprès du préfet de région Provence-Alpes-Côte d’Azur.