Discuter:Méthode B

Un article de Wikipédia, l'encyclopédie libre.

" De même, une inférence régressive des modèles permet de concrétiser la linéarité du référent global en permettant ainsi une meilleure fiabilité de la transaction des données. La méthode B devient alors un algorithme sûr et concret qui se place parmi les plus rapides de sa catégorie. L’on peut affirmer sans excès de mots qu’il s’agit de l’un des moteurs de rétroaction les plus aptes à saisir la contre linéarité des données."

Je ne reconnais pas B derrière ce discours !Help !

Il serait peut-être utile de mentionner B évènementiel (event B).

D'autre part, J.-R. Abrial enseigne B évènementiel à l'E.T.H. de Zurich.

Sinon, je suis ravi de trouver des infos sur les méthodes formelles sur wikipedia :-)

--Fr3d3r1c 16 août 2005 à 11:55 (CEST)

[modifier] Wikipédia n'est pas un cours de programmation

Il existe un Wikilivre sur la programmation, il est tout a fait indiqué pour le contenu permettant d'apprendre un langage, ne contenu qui n'est pas encyclopédique et ne devrais pas se retrouver sur Wikipédia.

Voir http://fr.wikibooks.org/wiki/Accueil/Informatique

~ Ъayo♫ 16 novembre 2005 à 12:35 (CET)

J'ai ébauché le Wikilivre b:Programmation méthode B en déplacant simplement les bloques de texte présent ici. Je ne souhaite pas vraiment participer à ça rédaction, si quelq'un est motivé. :D ~ Ъayo♫ 16 novembre 2005 à 13:09 (CET)

Il y a juste un petit problème car le B n'est pas un langage de programmation ... C'est une méthode de développement prouvé. Et maintenant il n'y a plus rien sur la méthode dans l'article à part une définition et un historique qui n'est pas complétement spécifique à B. Je suis d'accord pour dire que les parties qui ne sont pas encyclopédiques n'ont pas leurs places mais là il n'y a plus rien... 82.231.114.112 29 novembre 2005 à 23:39 (CET)


[modifier] Mettre des commentaires dans les exemples

Dans trucM4 (!), pourquoi:

var <: AA

mais card(var) < maxe +1

Différence entre <: et < ?

<: signifie "inclus dans" (AA étant un ensemble), et < signifie "inférieur à"... --Rhalph (d) 29 avril 2008 à 21:14 (CEST)


INCLUDES

tien.trucM4(AA, maxe), mon.trucM4(AA, maxe)

Ca veut dire quoi?


Mettez des commentaires SVP. Qu'on sache ce que l'on prétend vérifier et comment.