Spécification formelle avec B

Name: Spécification formelle avec B
Brand: Recyclivre
Author: Henri Habrias
ISBN: 9782746203020

Henri Habrias

01/10/2001
Lavoisier-Hermès

NC (0 avis)

Couverture de Spécification formelle avec B par Henri Habrias

Résumé

Les évolutions les plus récentes du langage et de la méthode B (méthode algébrique de spécification) sont le fruit de deux nouveaux types d'application de B : la rétro-ingénierie de logiciels (née de la nécessité de rénover les logiciels de sécurité) et la spécification de systèmes ( le langage B-événementiel représentant une révolution par rapport au langage B classique).