Contributions de 193.52.126.5
De 193.52.126.5 discuter journal des blocages journaux journal des abus
28 novembre 2007
- 18:3528 novembre 2007 à 18:35 diff hist −76 Méthode B Aucun résumé des modifications
- 18:3128 novembre 2007 à 18:31 diff hist +1 Méthode B Aucun résumé des modifications
- 18:3028 novembre 2007 à 18:30 diff hist +76 Méthode B Aucun résumé des modifications
12 novembre 2007
- 11:1912 novembre 2007 à 11:19 diff hist +350 N Méthode B/B classique Création : 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 des opérations d'une mach...
- 11:1612 novembre 2007 à 11:16 diff hist +353 Méthode B/Introduction Aucun résumé des modifications
- 11:1012 novembre 2007 à 11:10 diff hist +31 Méthode B/Introduction Aucun résumé des modifications
- 11:0612 novembre 2007 à 11:06 diff hist +1 762 N Méthode B/Introduction Création : 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, btoolkit, projet Rod...