Méthode B/Bibliographie et référence

Conférences internationales sur B

• Après la conférence Z2B de Nantes (oct. 10-12 1995) ,
• puis la première conférence B de Nantes (nov. 25-27 1996),
• puis la deuxième à Montpellier (avril 22-24 1998),
• il y a eu des conférences à peu près tous les 18 mois, ZB'2000 à York (U.K.) 28 août, 2 sept. 2000), ZB'2002 Grenoble (F) (23-25 janv. 2002), ZB'2003, Turku (Finlande) (4-6 juin), ZB'05, Guildford (U.K.),
  • B'2007 Besançon (France)
  • B, from research to teaching, Nantes, (France), Cité Internationale des Congrès (16 juin 2008)
  • ABZ Conference, September 16-18, 2008 BCS London Offices, Covent Garden, London,
  • B, from research to teaching, Nantes, (France), Cité Internationale des Congrès (8 juin 2009)
  • ABZ 2010 Conference, Orford, Québec, Canada February 22-25, 2010
  • B, from research to teaching, Nantes, (France), Cité Internationale des Congrès (7 juin 2010)
  • ABZ conference: ABZ 2012, Pisa, Italy, 18-22 June 2012
  • ABZ coference: ABZ 2014, Toulouse, France, 2-6 June 2014

Bibliographie

• Jean-Raymond Abrial, The B-Book, Assigning Programs to Meanings , Cambridge University Press, 1996, ISBN 0-521-49619-5
• Steve Schneider, The B-method, an introduction, Palgrave, 2001, ISBN 0-333-79284-X
• E. Sekerinski and K. Sere (editors ), Case Studies Using the B Method, Springer, ISBN 0-52149619-5
• John Wordsworth, Software Engineering with B, Addison-Wesley, ISBN 0201403560
• Kevin Lano, The B Language and Method: A guide to Practical Formal Development, Springer Verlag London Ltd., ISBN 3-540-76033-4
• Henri Habrias et al., Introduction à la méthode B, Lavoisier Hermes, 2001, ISBN 2-7462-0302-2
• http://download.gna.org/brillant/docs/B-Bibliography/ un recensement bibliographique au format BibTeX
• Jean-Raymond Abrial, Modeling in Event-B, System and Software Engineering, Cambridge University Press, 2010, ISBN 978-0-521-89556-9

Sites Internet

• http://sourceforge.net/projects/abtools/ : un projet de développement open-source d'outils supportant la méthode B et ses extensions
• https://gna.org/projects/brillant/ : un projet de développement open-source d'outils supportant la méthode B.
• http://www.atelierb.eu/ : un outil de développement en B.
• http://b4free.com/ : B4free est la version gratuite (pour les universitaires) du cœur de l'atelier B, s'utilise avec la Balbulette.
• http://www.loria.fr/~cansell/cnp.html : le site de la balbulette (Click'n'Prove en Anglais)
• http://www-lsr.imag.fr/B/ : le site B de Grenoble
• http://vl.fmnet.info/b/ : The B-Method (en anglais)