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. 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).

PropertyValue
dbpprop:abstract
  • 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. 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 will also include Alloy.
dbpprop:reference
rdfs:comment
  • 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. 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).
rdfs:label
  • APCB
skos:subject
foaf:page