APCB - APCB

A APCB ( Associação de Praticagem des Conférences B , ou em Inglês Comité Director A Conferência Internacional B ) organiza conferências sobre o B-Método , um dos principais métodos formais , utilizado em alta integridade de engenharia de software .

Ele organizou reuniões e conferências B. De 2000, estes se tornaram a Conferência ZB (em conjunto com a notação Z , co-organizado com o User Group Z ), ea partir de 2008 a conferência ABZ (com abstratos State Machines também). Em 2010, a conferência ABZ também incluiu liga .

Veja também

• Formal Métodos Europa
• Z User Group

Referências

links externos

• website APCB
• website ABZ

Este artigo sobre uma organização em França é um esboço . Você pode ajudar a Wikipédia expandindo-o . v t e