Méthode B : langage B et outils associés

DONNEZ VOTRE AVIS

La dernière vérification de ce site date du 28 janvier 2012.

Présentation de la méthode B, méthode de spécification formelle qui permet, grâce à un langage adéquat, d'exprimer très rigoureusement les propriétés exigées dans un cahier des charges.
Le site présente la méthode B, ses outils associés, ainsi que les différents travaux menés dans ce domaine.

Le site www.methode-b.com est classé dans Méthodes Formelles. Nous vous conseillons de consulter également nos rubriques Méthode Pilates.

Avis www.methode-b.com

Note moyenne donnée par les utilisateurs

Aucun avis n'a encore été donné. Donnez le vôtre en remplissant le formulaire ci-dessous...

Donnez votre avis !

Remarque : en postant un avis, vous acceptez les CGU du site WebRankInfo. Si votre avis ne respecte pas ces règles, il pourra être refusé. Si vous indiquez votre adresse email, vous serez informé dès que votre avis aura été validé (ou refusé...) ; votre adresse ne sera pas utilisée pour vous envoyer des mailings et ne sera pas revendue ou cédée à des tiers. Votre adresse IP est stockée à des fins de lutte contre le spam ; elle ne sera pas publiée.

Autres sites similaires

Dans la thématique Méthodes Formelles, consultez également ces sites :

• B Method, site dédié à la méthode formelle B
  B Method a pour objectif de présenter les différents travaux et sujets de réflexion de Clearsy sur la méthode B, méthode formelle avec preuve. Nous y listons également l'ensemble des outils et applications basés sur la méthode B, ainsi que les projets majeurs la concernant. L'objectif de la méthode B est simple : elle permet de définir le comportement d'un programme, par le biais d'une modélisation abstraite. Les raffinements successifs de ce modèle permettent ensuite d'obtenir un modèle concret, sous-ensemble du langage transcodable en Ada ou en C. La Méthode B a pour objectif majeur de formaliser et de prouver l'ensemble des spécifications du programme de façon à obtenir le zéro défaut.
  Informatique : Ingénierie informatique
• La Méthode Moneyron
  Apprentissage et Développement de la Méthode Moneyron. Description de la méthode, calendrier des formations et inscription aux stages.
  Santé : Médecine alternative
• La glorieuse incertitude du Turf
  Comment jouer et gagner aux courses ! Une méthode de 1926 remise au goût du jour pour mieux parier aux courses hippiques.
  Equitation : Pronostics Hippiques
• 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.
  Informatique : Ingénierie informatique
• Le Kymco Blog cranet de route méthode Lafay
  Ce site retrace ma reprise sportive suivant le méthode d'entrainement d'Olivier Lafay. Cette méthode se fait sans appareil de musculation et utilise uniquement le poids du corps. Mon évolution est suivie pas à pas au fil des mois.
  Force : Musculation

Moteur de recherche Méthodes Formelles

Partenariats

Les rubriques ci-dessous ont pour objectif de vous aider à améliorer votre netlinking et donc votre référencement. Voyez comment établir un partenariat avec le site Méthode B : langage B et outils associés ou avec d'autres sites de la même thématique (Méthodes Formelles).

Echanges de liens

ClearSy est ouvert aux échanges de liens sur son site Méthode B : langage B et outils associés.

• ClearSy souhaite faire des échanges de type 1 lien contre 1 lien
• ClearSy souhaite uniquement des liens au format texte

Annuaire ?

Le site Méthode B : langage B et outils associés ne contient pas d'annuaire.

Annonces Méthodes Formelles : déposez votre petite annonce gratuitement !

Crédits vignette : Robothumb

Pour ajouter votre site dans l'annuaire, cliquez ici