A B-módszer (vagy röviden B) egy szoftverrendszerek specifikálására, tervezésére és kódolására használatos módszertan és nyelv. Mind a specifikáció, mind az implementáció B nyelven készül, és a módszer alkalmazása során ezek helyességét is be kell látni.

Szakirodalom

• J-R. Abrial Cambridge University Press, 1996
• J.B. Wordsworth Addison-Wesley, 1996

Linkek

• B reference manual
• B4free program oldala
• Click'n'Prove program oldala
• jBTools
• B-módszer oktatása az ELTE-n
• Papp Olga, Vadász Péter: Tervminták megvalósítása B formális nyelven (OTDK, 2005)

Szerzők

• Vadász Péter
• Hoch Csaba (2007)