Atelier B

Il B-Method è un metodo di sviluppo del software basato su B, un metodo formale supportato da strumenti, fondato su una notazione a macchina astratta e utilizzato nello sviluppo di software per computer.

Rispetto alla notazione Z, B è leggermente più a basso livello e più orientato al raffinamento verso il codice che non alla sola specifica formale; perciò è più facile implementare correttamente una specifica scritta in B che una scritta in Z. In particolare, esiste un buon supporto di strumenti per questo. Lo stesso linguaggio è usato nella specifica, nella progettazione e nella programmazione. I meccanismi includono l'incapsulamento e la località dei dati.