 | 2009 |
|---|
| 15 |       | Mar Yah Said,
Michael J. Butler,
Colin F. Snook:
Language and Tool Support for Class and State Machine Refinement in UML-B.
FM 2009: 579-595 |
| 14 | | Marta Plaska,
Marina A. Waldén,
Colin F. Snook:
Documenting the Progress of the System Development.
Methods, Models and Tools for Fault Tolerance 2009: 251-274 |
| 2008 |
|---|
| 13 | | Colin F. Snook,
Michael J. Butler:
UML-B: A Plug-in for the Event-B Tool Set.
ABZ 2008: 344 |
| 12 | | Colin F. Snook,
Michael Poppleton,
Ian Johnson:
Rigorous engineering of product-line requirements: A case study in failure management.
Information & Software Technology 50(1-2): 112-129 (2008) |
| 2007 |
|---|
| 11 | | Colin F. Snook,
Marina A. Waldén:
Refinement of Statemachines Using Event B Semantics.
B 2007: 171-185 |
| 2006 |
|---|
| 10 | | D. Moisuc,
S. Revol,
Colin F. Snook:
UML User Interface to a Proof-based Hardware Design Flow.
FDL 2006: 337-344 |
| 9 | | Dubravka Ilic,
Elena Troubitsyna,
Linas Laibinis,
Colin F. Snook:
Formal Development of Mechanisms for Tolerating Transient Faults.
RODIN Book 2006: 189-209 |
| 8 | | Colin F. Snook,
Michael Poppleton,
Ian Johnson:
Towards a Method for Rigorous Development of Generic Requirements Patterns.
RODIN Book 2006: 326-342 |
| 7 | | Colin F. Snook,
Michael J. Butler:
UML-B: Formal modeling and design aided by UML.
ACM Trans. Softw. Eng. Methodol. 15(1): 92-122 (2006) |
| 2005 |
|---|
| 6 | | Michael J. Butler,
Michael Leuschel,
Colin F. Snook:
Tools for System Validation with B Abstract Machines.
Abstract State Machines 2005: 57-69 |
| 2004 |
|---|
| 5 | | Nikos S. Voros,
Colin F. Snook,
Stefan Hallerstede,
Thierry Lecomte:
A hardware/software codesign framework for developing complex embedded systems using formal model refinement.
FDL 2004: 598-612 |
| 4 | | Colin F. Snook,
Rachel Harrison:
Experimental comparison of the comprehensibility of a Z specification and its implementation in Java.
Information & Software Technology 46(14): 955-971 (2004) |
| 2003 |
|---|
| 3 | | Colin F. Snook,
Kim Sandström:
Using UML-B and U2B for formal refinement of digital components1.
FDL 2003: 505-515 |
| 2001 |
|---|
| 2 |  | Colin F. Snook,
Rachel Harrison:
Practitioners' views on the use of formal methods: an industrial survey by structured interview.
Information & Software Technology 43(4): 275-283 (2001) |
| 2000 |
|---|
| 1 | | Manoranjan Satpathy,
Rachel Harrison,
Colin F. Snook,
Michael J. Butler:
A Generic Model for Assessing Process Quality.
IWSM 2000: 94-110 |
