Jim Davies
Title
Cited by
Cited by
Year
Using Z: Specification ‚Refinement ‚and Proof
J Woodcock, J Davies
Prentice Hall International, 1996
19111996
Rapid, comprehensive, and affordable mycobacterial diagnosis with whole-genome sequencing: a prospective study
LJ Pankhurst, C del Ojo Elias, AA Votintseva, TM Walker, K Cole, J Davies, ...
The Lancet Respiratory Medicine 4 (1), 49-58, 2016
2242016
A brief history of Timed CSP
J Davies, S Schneider
Theoretical Computer Science 138 (2), 243-271, 1995
2131995
Specification and proof in real time CSP
J Davies
Cambridge University Press, 1993
1691993
Timed CSP: Theory and practice
S Schneider, J Davies, DM Jackson, GM Reed, JN Reed, AW Roscoe
Proceedings of the Real-Time: Theory in Practice, REX Workshop, 640-675, 1991
146*1991
Government information networks-mapping electronic governance cases through public administration concepts
T Janowski, TA Pardo, J Davies
Government Information Quarterly 29, S1-S10, 2012
742012
On the refinement and simulation of data types and processes
C Bolton, J Davies, J Woodcock
IFM’99, 273-292, 1999
701999
On the refinement and simulation of data types and processes
C Bolton, J Davies, J Woodcock
IFM’99, 273-292, 1999
701999
Concurrency and refinement in the unified modeling language
J Davies, C Crichton
Electronic Notes in Theoretical Computer Science 70 (3), 217-243, 2002
692002
Using UML for automatic test generation
A Cavarra, C Crichton, J Davies, A Hartman, L Mounier
Proceedings of ISSTA 15, 2002
612002
Taxonomy-based glyph design—with a case study on visualizing workflows of biological experiments
E Maguire, P Rocca-Serra, SA Sansone, J Davies, M Chen
IEEE Transactions on Visualization and Computer Graphics 18 (12), 2603-2612, 2012
602012
Specification and proof in real-time systems.
J Davies
University of Oxford, 1991
531991
Activity graphs and processes
C Bolton, J Davies
International Conference on Integrated Formal Methods, 77-96, 2000
472000
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings
J Davies, W Schulte, M Barnett
Springer, 2004
432004
A method for the automatic generation of test suites from object models
A Cavarra, C Crichton, J Davies
Proceedings of the 2003 ACM symposium on Applied computing, 1104-1109, 2003
392003
A brief history of Timed CSP
J Davies, S Schneider
University of Oxford, Computer Laboratory Programming Research Group, 1992
391992
A singleton failures semantics for Communicating Sequential Processes
C Bolton, J Davies
Formal Aspects of Computing 18 (2), 181-210, 2006
382006
A singleton failures semantics for Communicating Sequential Processes
C Bolton, J Davies
Formal Aspects of Computing 18 (2), 181-210, 2006
382006
Refinement in Object-Z and CSP
C Bolton, J Davies
International Conference on Integrated Formal Methods, 225-244, 2002
332002
Concurrency and refinement in the unified modeling language
J Davies, C Crichton
Formal Aspects of Computing 15 (2-3), 118-145, 2003
322003
The system can't perform the operation now. Try again later.
Articles 1–20