Après la conférence Z2B de Nantes (oct. 10-12 1995) , puis la première conférence B de Nantes (nov. 25-27 1996), puis la deuxième à Montpellier (avril...
3 kio (397 mots) - 22 avril 2022 à 23:32
Selon J.R. Abrial, auteur de B, B est : une méthode une théorie un langage (le langage des substitutions généralisées) un ensemble d'outils (Atelier B...
2 kio (299 mots) - 4 septembre 2010 à 13:48
Cette machine est écrite en notation B Ascii. Il existe aussi une « notation mathématiques », fournie plus loin, qui utilise les symboles usuels de la...
9 kio (1 189 mots) - 2 novembre 2022 à 23:25
Bien pratique pour les échanges sur Internet et pour saisir une machine B avec un clavier de monsieur tout le monde ! Code Libellé E : S Appartenance E...
3 kio (293 mots) - 20 décembre 2022 à 18:52
Ce qui a été dit en introduction concerne le "B classique". Le "B événementiel" conserve tous les concepts du "B classique". Mais au lieu de spécification...
399 octet (51 mots) - 4 septembre 2010 à 13:48
MACHINE VARIABLE (VALEUR) VARIABLES vrb INVARIANT vrb : VALEUR OPERATIONS v <-- valeur = BEGIN v:= vrb END ; changer (v) = PRE v : VALEUR THEN vrb := v...
982 octet (77 mots) - 4 septembre 2010 à 13:48
Soit la machine suivante : MACHINE Calculette ... OPERATIONS cc <-- plus (aa, bb) = /* avec l'Atelier B, les noms des variables et des constantes doivent...
2 kio (292 mots) - 4 septembre 2010 à 13:48
nota : nous avons utilisé aussi bien pour Z que pour B la notation ASCII B. [NOM, ADRESSE] _____CarnetDAdresses___________________ NomConnu : F NOM APourAdresse :...
2 kio (128 mots) - 4 septembre 2010 à 13:48
Ébauche (Liste complète des ébauches) Cette page est considérée comme une ébauche à compléter . Si vous possédez quelques connaissances sur le sujet, vous...
802 octet (94 mots) - 4 septembre 2010 à 13:51
