UML-B: Formal modelling and design aided by UML

by Snook, Colin, Butler, Michael
Published 2006

Experimental comparison of the comprehensibility of a Z specification and its implementation in Java

by Snook, Colin, Harrison, Rachel
Published 2004

Practitioners' views on the use of formal methods: an industrial survey by structured interview

by Snook, Colin, Harrison, Rachel
Published 2001

Rigorous engineering of product-line requirements: a case study in failure management

by Snook, Colin, Poppleton, Michael, Johnson, Ian
Published 2008

Verification of UML models by translation to UML-B

by Snook, Colin, Savicks, Vitaly, Butler, Michael
Published 2011

A method of refinement in UML-B

by Said, Mar Yah, Butler, Michael, Snook, Colin
Published 2015