mercredi 24 janvier 2007

Une intro à B d'une collègue de l'IMAG (21-12-06)

Une intro à la méthode B de ma collègue de l'IMAG


http://www-lsr.imag.fr/users/Marie-Laure.Potet/methodeB.pdf

voir aussi sur sa page un cas traité jusqu'à l'implantation. Voir aussi chapitre de mon livre sur B avec un cas complet traité (interfaces etc.)

Aucun commentaire: