B Method, site dédié à la méthode formelle B

  

 Liens sponsorisés

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

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.

 Définition

Méthode GET : La méthode GET est un moyen de passer des paramètres d'une requête HTTP depuis le navigateur au serveur. Cette méthode place les paramètres, généralement séparés par un caractère spécial tel que l'esperluette (&), dans l'URL même, qui est visible ...

 Catégories