You can edit almost every page by Creating an account. Otherwise, see the FAQ.

APCB

From EverybodyWiki Bios & Wiki


The APCB (Association de Pilotage des Conférences B, or in English The International B Conference Steering Committee) organizes conferences about the B-Method, used in high-integrity software engineering.

It has organized B meetings and conferences. From 2000, these became the ZB Conference (jointly with the Z notation, co-organized with the Z User Group), and from 2008 the ABZ conference (with Abstract State Machines as well). In 2010, the ABZ conference[1] also included Alloy.

See also[edit]

References[edit]

  1. Frappier, M., Glässer, U.; , Khurshid, S., Laleau, R., and Reeves, S. (eds.), Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22–25, 2010, Proceedings, Springer-Verlag, Lecture Notes in Computer Science, Volume 5977, 2010. ISBN 978-3-642-11810-4 Search this book on ..

External links[edit]


This article "APCB" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:APCB. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.