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

  

 Liens sponsorisés

Annuaire > Commerce et économie > Informatique > Ingénierie informatique > Méthodes Formelles

	Méthode B : langage B et outils associés
	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.

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