Discussion:Méthode B

Le contenu de la page n’est pas pris en charge dans d’autres langues.
Une page de Wikipédia, l'encyclopédie libre.
Autres discussions [liste]
  • Admissibilité
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives
  • Commons

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)[répondre]

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

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)[répondre]

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)[répondre]

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)[répondre]


Mettre des commentaires dans les exemples[modifier le code]

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)[répondre]


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?[modifier le code]

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[modifier le code]

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 :

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)[répondre]

Ce document provient de « https://fr.wikipedia.org/w/index.php?title=Discussion:Méthode_B&oldid=187845116 ».