Discussion:Méthode B

Cet article ne décrit rien de ce qu'on pourrait en tant que novice attendre . Après lecture je n'ai toujours aucune idée de ce qu'est la méthode B.

" 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)

---

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)

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.

Quelles sont les limites?

Une méthode qui fait papa et maman, c'est pas mal, c'est surtout très marketing.

Où est l'objectivité. Quelles sont les limites de la méthode? A-t-on idée ici de ce qu'est un problème NP-complet? Ou de l'incomplétude de Godel?

Outre les objections de fond, quelles sont les forces et les limites organisationnelles? Combien ça coûte de faire du B? Combien ça rapporte? Quel est le coût de formation d'un spécialiste B?

Liens externes modifiés

Bonjour aux contributeurs,

Je viens de modifier 3 lien(s) externe(s) sur Méthode B. Prenez le temps de vérifier ma modification. Si vous avez des questions, ou que vous voulez que le bot ignore le lien ou la page complète, lisez cette FaQ pour de plus amples informations. J'ai fait les changements suivants :

• Ajout de la balise {{dead link}} à http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521895569
• L'archive https://web.archive.org/web/20071023070450/http://www.consiste.dimap.ufrn.br/projetos/batcave/ a été ajoutée à http://www.consiste.dimap.ufrn.br/projetos/batcave
• L'archive https://web.archive.org/web/20100625000153/http://gna.org/projects/brillant a été ajoutée à https://gna.org/projects/brillant/
• Ajout de la balise {{dead link}} à http://vda-wikis.inrets.fr/index.php/Projet_BRILLANT
• L'archive https://web.archive.org/web/20110707183714/http://forum.atronach.com/viewtopic.php?f=15&t=159 a été ajoutée à http://forum.atronach.com/viewtopic.php?f=15&t=159

SVP, lisez la FaQ pour connaître les erreurs corrigées par le bot.

Cordialement.—InternetArchiveBot (Rapportez une erreur) 22 juillet 2018 à 19:51 (CEST)