Spécification formelle avec B
Auteur : Henri Habrias
Date de publication : 2001
Éditeur : Hermes Science Publications
Nombre de pages : 414
Résumé du livre
Les services de B - Rerédaction d' un cahier des charles et introduction au concept de machine abstraite en B - Introduction au développement d' un logiciel en B par un exemple - Logique et preuve - Ensembles - Relations et fonctions - Objets mathématiques : nombres naturels, suites, arbres - Structure d' une machine abstraite et preuve d'opération - Les substitutions - Choix de modélisations ensemblistes - L'approche bases de données, les contraintes dynamiques, l'hypothése du déterminisme linguistique de Sapir-Whorf et quelques autres propos - Le raffinage - Séquencement et boucle - Composition des machines et des raffinements - L'implantation finale e la structure d'un projet B - B événementiel - B, VDM, Z et spécifications algébriques.