Atelier B, outil industriel pour appliquer opérationnellement la méthode B

  

 Liens sponsorisés

Annuaire > Commerce et économie > Informatique > Ingénierie informatique

Atelier B, outil industriel pour appliquer opérationnellement la méthode B

Développé par la société ClearSy, l'Atelier B est l'outil industriel qui permet une utilisation opérationnelle de la méthode B pour des développements logiciels prouvés sans défaut. Pour cela, il fait appel à la modélisation formelle des spécifications du logiciel, leur raffinement jusqu'à obtention d'un modèle implémentable, ainsi qu'à la preuve mathématique que l'implémentation ne contredit pas la spécification du logiciel. l'Atelier B a notamment été utilisé pour le développement des automatismes sécuritaires du métro automatique par Siemens.

 Définition

Skynet System : Skynet System figure parmi les premières sociétés de dépannage informatique pour entreprises et particuliers (Tous OS, Windows 2003, XP, Palm, PDA, OSX...) L'activité du groupe Skynet System s'articule autour des axes suivants : - Dépannage, ...

 Catégories