APCB
From Wikipedia, the free encyclopedia
The APCB (Association de Pilotage des Conférences B, or in English The International B Conference Steering Committee) organizes conferences about the B-Method, one of the leading formal methods, used in high-integrity software engineering.[1]
It has organized B meetings and conferences. From 2000, these became the ZB Conference[2] (jointly with the Z notation, co-organized with the Z User Group), and from 2008 the ABZ conference[3] (with Abstract State Machines as well). In 2010, the ABZ conference[4] also included Alloy.
[edit] See also
[edit] References
- ^ APCB, Formal Methods Wiki.
- ^ ZB conference, Formal Methods Wiki.
- ^ ABZ conference, Formal Methods Wiki.
- ^ 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.
[edit] External links
.jpeg){kind=small} |
This article about an organisation in France is a stub. You can help Wikipedia by expanding it. |
