Résultats de la recherche

  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • 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
  • É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