Carte Rare

Méthode B

méthode formelle

Valeur

50 W

Attaque

241

Défense

193

Joueurs

0

259 vues Wikipédia ces 30 derniers jours

La méthode B est une méthode formelle qui permet le raisonnement sur des systèmes complexes ainsi que le développement logiciel. La méthode B permet de modéliser de façon abstraite le comportement et les spécifications d'un logiciel dans le langage de B, puis par raffinements successifs d'aboutir à…