Programmation méthode B/Bibliographie et référence
Un livre de Wikibooks.
[modifier] 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.)
- 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
[modifier] Sites Internet
