Colin Snook

UML-B

Colin Snook, Michael Butler · ACM Transactions on Software Engineering and Methodology · 2006 · 289 citations

Engineering, Automated Reasoning, Object-oriented Modeling +14

UML-B and Event-B: an integration of languages and tools

Colin Snook, Michael Butler · ePrints Soton (University of Southampton) · 2008 · 59 citations · Full text

Engineering, Spontaneous Events, Verification +22

A method of refinement in UML-B

Mar Yah Said, Michael Butler, Colin Snook · Software & Systems Modeling · 2013 · 37 citations

Refinement Technique, Engineering, Automated Reasoning +7

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

Colin Snook, Rachel Harrison · Information and Software Technology · 2001 · 37 citations

Industrial Design, Formal Specification, Method Engineering +12

Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe

Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles et al. · Journal of Systems Architecture · 2020 · 35 citations

Uml Activity Diagrams, Engineering, Formal Modeling +15