Jim Davies : Publications
|
[1] |
Form Follows Function: Model−Driven Engineering for Clinical Trials Jim Davies‚ Jeremy Gibbons‚ Radu Calinescu‚ Charles Crichton‚ Steve Harris and Andrew Tsui In International Symposium on Foundations of Health Information Engineering and Systems. August, 2011. |
|
[2] |
Models for Forms Daniel Abler‚ Charles Crichton‚ James Welch‚ Jim Davies and Steve Harris October, 2011. |
|
[3] |
A Guarded Workflow Language and Its Formal Semantics Chen−Wei Wang‚ Jim Davies and James Welch Pages 25−34. Los Alamitos‚ CA‚ USA. 2010. IEEE Computer Society. |
|
[4] |
Model−Driven Data Migration Mohammed A. Aboulsamh‚ Edward Crichton‚ Jim Davies and James Welch In Advances in Conceptual Modeling − Applications and Challenges‚ ER 2010 Workshops ACM−L‚ CMLSA‚ CMS‚ DE@ER‚ FP−UML‚ SeCoGIS‚ WISM‚ Vancouver‚ BC‚ Canada‚ November 1−4‚ 2010.. Vol. 6413 of Lecture Notes in Computer Science. Pages 285–294. 2010. |
|
[5] |
Semantic Frameworks: Meanings in the Architecture Jim Davies and Jeremy Gibbons In Distributed Computing and Internet Technology. Vol. 5966 of LNCS. Pages 40−54. 2010. |
|
[6] |
Semantic Interoperability in Practice Jim Davies‚ Steve Harris and Aadya Shukla In HICSS (Electronic Government Track). 2010. |
|
[7] |
Deep Zoom and Touch Screen for Tissue Microarray Image Scoring Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Andrew Tsui‚ James Brenton‚ Carlos Caldas and Lorna Morris Poster at Microsoft External Research Symposium. 2010. |
|
[8] |
Formal Methods for Future Interoperability Jim Davies and Jeremy Gibbons In ACM Inroads. Vol. 41. No. 2. Pages 60−64. June, 2009. A revised version of "Formal Methods for Electronic Government" (FMET‚ 2008) |
|
[9] |
Metadata−Driven Software for Clinical Trials Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Andrew Tsui and James Brenton May, 2009. |
|
[10] |
Model−Driven Support for a Vaccine Study in Kathmandu Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Jane Metz‚ Andrew J. Pollard and Matthew Snape In Microsoft eScience Workshop. October, 2009. |
|
[11] |
Semantics−Driven Development for Electronic Government Applications Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Aadya Shukla and Andrew Tsui In HICSS (Electronic Government Track). Hawaii. January, 2009. |
|
[12] |
A metadata approach for clinical data management in translational genomics studies in breast cancer James D Brenton Irene Papatheodorou Charles Crichton Lorna Morris Peter Maccallum Molecular Taxonomy of Breast Cancer International Consortium METABRIC Group Jim Davies and Carlos Caldas Vol. 2. 2009. |
|
[13] |
Accelerating Cancer Research Using Semantics−Driven Technology James Brenton‚ Jim Davies‚ Jeremy Gibbons and Steve Harris In Microsoft eScience Workshop. Indianapolis‚ IN. December, 2008. |
|
[14] |
Semantic Technologies in Electronic Government Steve Harris‚ Jeremy Gibbons‚ Jim Davies‚ Andrew Tsui and Charles Crichton In Tomasz Janowski and Teresa Pardo, editors, ICEGOV 2008. Pages 45 – 51. Cairo. December, 2008. ACM Press. |
|
[15] |
Metadata Standards for Semantic Interoperability in Electronic Government Jim Davies‚ Steve Harris‚ Charles Crichton‚ Aadya Shukla and Jeremy Gibbons In International Conference on Theory and Practice of Electronic Governance. Cairo. December, 2008. Received a Best Paper Award |
|
[16] |
Automatic Maintenance of Association Invariants James Welch‚ David Faitelson and Jim Davies In Software and Systems Modeling. 2008. |
|
[17] |
Domain−specific Semantics and Data Refinement of Object Models Jim Davies‚ David Faitelson and James Welch In Electronic Notes in Theoretical Computer Science. Vol. 195. Pages 151–170. 2008. |
|
[18] |
Evolving Health Informatics: Semantic Frameworks and Metadata−Driven Architectures Jim Davies‚ Jeremy Gibbons‚ Steve Harris and Denise Warzel In Microsoft eScience Workshop. Indianapolis‚ IN. 2008. |
|
[19] |
WSRF−Based Modeling of Clinical Trial Information for Collaborative Cancer Research Tianyi Zang‚ Radu Calinescu‚ Steve Harris‚ Andrew Tsui‚ Marta Kwiatkowska‚ Jeremy Gibbons‚ Jim Davies‚ Peter Maccallum and Carlos Caldas In 8th IEEE International Symposium on Cluster Computing (CCGrid). 2008. |
|
[20] |
Model−Driven Architecture for Cancer Research Radu Calinescu‚ Steve Harris‚ Jeremy Gibbons‚ Jim Davies‚ Igor Toujilov and Sylvia Nagl In Software Engineering and Formal Methods. Pages 59−68. September, 2007. |
|
[21] |
Semantic Frameworks for e−Government Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris and Aadya Shukla In Theresa Pardo and Tomasz Janowski, editors, First International Conference on Theory and Practice of Electronic Governance (ICEGOV) 2007. Pages 30–39. ACM. December, 2007. |
|
[22] |
Cross−Trial Query System for Cancer Clinical Trials Radu Calinescu‚ Steve Harris‚ Jeremy Gibbons and Jim Davies In Tarek Sobh, editor, Innovations and Advanced Techniques in Computer and Information Sciences and Engineering. Pages 385–390. Springer. 2007. |
|
[23] |
Technological foundations of electronic governance Jim Davies‚ Tomasz Janowski‚ Adegboyega K. Ojo and Aadya Shukla In First International Conference in the Theory and Practice of Electronic Government (ICEGOV) 2007. Pages 5–11. 2007. |
|
[24] |
From Predicates to Programs: The Semantics of a Method Language David Faitelson‚ James Welch and Jim Davies In Proceedings of SBMF 2005. Vol. 184. Pages 171–187. Electronic Notes in Theoretical Computer Science. 2007. |
|
[25] |
Integrated Formal Methods Jim Davies and Jeremy Gibbons, editors Jim Davies and Jeremy Gibbons, editors |
|
[26] |
A Singleton Failures Semantics for Communicating Sequential Processes Christie Bolton and Jim Davies In Formal Aspects of Computing. Vol. 18. No. 2. Pages 181−210. 2006. |
|
[27] |
Replication Strategies for Reliable Decentralised Storage Matthew Leslie‚ Jim Davies and Todd Huffman In ARES. Pages 740−747. IEEE Computer Society. 2006. |
|
[28] |
On the Generation of Object Databases using Booster Jim Davies‚ James Welch‚ Alessandra Cavarra and Edward Crichton In Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006). IEEE Computer Society. 2006. |
|
[29] |
Domain−Specific Semantics and Data Refinement of Object Models Jim Davies‚ David Faitelson and James Welch In Brazilian Symposium on Formal Methods (SBMF). 2006. |
|
[30] |
Formality‚ Evolution‚ and Model−driven Software Engineering. Jim Davies‚ Charles Crichton‚ Edward Crichton‚ David Neilson and Ib Holm Sørensen In Electronic Notes in Theoretical Computer Science. Vol. 130. Pages 39−55. 2005. |
|
[31] |
Automatic Maintenance of Association Invariants James Welch‚ David Faitelson and Jim Davies In Proceedings of Software Engineering and Formal Methods (SEFM) 2005. IEEE Computer Society Press. 2005. |
|
[32] |
CancerGrid: Developing Open Standards for Clinical Cancer Informatics James Brenton‚ Carlos Caldas‚ Jim Davies‚ Steve Harris and Peter Maccallum In All Hands Meeting. 2005. |
|
[33] |
A Method for the Automatic Generation of Test Suites from Object Models Alessandra Cavarra‚ Charles Crichton and Jim Davies In Information & Software Technology. Vol. 46. No. 5. Pages 309−314. 2004. |
|
[34] |
Teaching Formal Methods in Context Jim Davies‚ Andrew Simpson and Andrew Martin Pages 185−202. 2004. |
|
[35] |
Formal Methods and Software Engineering‚ 6th International Conference on Formal Engineering Methods‚ ICFEM 2004‚ Seattle‚ WA‚ USA‚ November 8−12‚ 2004‚ Proceedings Jim Davies‚ Wolfram Schulte and Michael Barnett, editors Jim Davies‚ Wolfram Schulte and Michael Barnett, editors |
|
[36] |
Concurrency and Refinement in the Unified Modeling Language Jim Davies and Charles Crichton In Formal Aspects of Computing. Vol. 15. No. 2−3. Pages 118−145. 2003. |
|
[37] |
On The Supervision and Assessment Of Part−Time Postgraduate Software Engineering Projects Andrew Simpson‚ Andrew Martin‚ Jeremy Gibbons‚ Jim Davies and Steve McKeever Pages 628−633. 2003. |
|
[38] |
A Method for the Automatic Generation of Test Suites from Object Models Jim Davies‚ Charles Crichton and Alessandra Cavarra In Proceedings of the 2003 ACM Symposium on Applied Computing (SAC)‚ March 9−12‚ 2003‚ Melbourne‚ FL‚ USA. Pages 1104−1109. ACM. 2003. |
|
[39] |
Using State Diagrams to Describe Concurrent Behaviour Jim Davies and Charles Crichton In Jin Song Dong and Jim Woodcock, editors, 5th International Conference on Formal Engineering Methods‚ ICFEM 2003. Vol. 2885/2003. Pages 105−124. Springer Berlin / Heidelberg. 2003. |
|
[40] |
Concurrency and Refinement in the Unified Modeling Language Jim Davies and Charles Crichton In Electronic Notes in Theoretical Computer Science. Vol. 70. No. 3. Pages 217−243. 2002. |
|
[41] |
A comparison of refinement orderings and their associated simulation rules Christie Bolton and Jim Davies In Electronic Notes in Theoretical Computer Science. Vol. 70. No. 3. 2002. |
|
[42] |
Refinement in Object−Z and CSP Christie Bolton and Jim Davies Pages 225−244. 2002. |
|
[43] |
Millennial Perspectives in Computer Science J. Davies‚ A. Roscoe and J. Woodcock, editors Palgrave. 2000. |
|
[44] |
Abstract data types and Processes J. Woodcock‚ J. Davies and C. Bolton 2000. |
|
[45] |
Activity Graphs and Processes Christie Bolton and Jim Davies Pages 77−96. 2000. |
|
[46] |
Using Relational and Behavioural Semantics in the Verification of Object Models Christie Bolton and Jim Davies Pages 163−182. 2000. |
|
[47] |
Using CSP to Verify Sequential Consistency Gavin Lowe and Jim Davies In Distributed Computing. Vol. 12. No. 2−3. Pages 91−103. 1999. |
|
[48] |
When to Trust Mobile Objects: Access Control in the Jini Software System Charles Crichton‚ Jim Davies and Jim Woodcock In Proceedings of TOOLS. 1999. |
|
[49] |
On the Refinement and Simulation of Data Types and Processes Christie Bolton‚ Jim Davies and Jim Woodcock Pages 273−292. 1999. |
|
[50] |
FM'99 − Formal Methods‚ World Congress on Formal Methods in the Development of Computing Systems‚ Toulouse‚ France‚ September 20−24‚ 1999‚ Proceedings‚ Volume II Jeannette M. Wing‚ Jim Woodcock and Jim Davies, editors Jeannette M. Wing‚ Jim Woodcock and Jim Davies, editors |
|
[51] |
FM'99 − Formal Methods‚ World Congress on Formal Methods in the Development of Computing Systems‚ Toulouse‚ France‚ September 20−24‚ 1999‚ Proceedings‚ Volume I Jeannette M. Wing‚ Jim Woodcock and Jim Davies, editors Jeannette M. Wing‚ Jim Woodcock and Jim Davies, editors |
|
[52] |
Safety through Security A. Simpson‚ J. Woodcock and J. Davies In Proceedings of the Ninth International Workshop on Software Specification and Design. IEEE Press. 1998. |
|
[53] |
The Mechanical Verification of Solid State Interlocking Geographic Data A. Simpson‚ J. Woodcock and J. Davies In Proceedings of Formal Methods Pacific. Springer. 1997. |
|
[54] |
Using Z: Specification‚ Refinement‚ and Proof J. Woodcock and J. Davies Prentice Hall International. 1996. |
|
[55] |
A Brief History of Timed CSP Jim Davies and Steve Schneider In Theoretical Computer Science. Vol. 138. No. 2. Pages 243−271. 1995. |
|
[56] |
Real−time LOTOS and Timed Observations Jim Davies‚ Jeremy Bryans and Steve Schneider Pages 383−397. 1995. |
|
[57] |
Towards a denotational semantics for ET−LOTOS Jeremy Bryans‚ Jim Davies and Steve Schneider Pages 269−283. 1995. |
|
[58] |
Real−time CSP J. Davies and S. Schneider In Theories and Experiences for Real−time Systems. World Scientific. 1994. |
|
[59] |
Recursion Induction for Real−Time Processes Jim Davies and Steve Schneider In Formal Aspects of Computing. Vol. 5. No. 6. Pages 530−553. 1994. |
|
[60] |
On the formal specification and verification of network routing algorithms Jim Davies and Matt Wallis Pages 100−115. 1994. |
|
[61] |
Specification and Proof in Real−time CSP J. Davies Cambridge University Press. 1993. |
|
[62] |
Using CSP to Verify a Timed Protocol over a Fair Medium Jim Davies and Steve Schneider Pages 355−369. 1992. |
|
[63] |
Broadcast Communication for Real−time Processes Jim Davies‚ Dave Jackson and Steve Schneider Pages 149−169. 1992. |
|
[64] |
Timed CSP: Theory and Practice Steve Schneider‚ Jim Davies‚ D. M. Jackson‚ George M. Reed‚ Joy N. Reed and A. W. Roscoe Pages 640−675. 1991. |
|
[65] |
Factorizing Proofs in Timed CSP Jim Davies and Steve Schneider Pages 129−159. 1989. |
|
[66] |
Factorising Proofs in Timed CSP J. Davies and S. Schneider In Real−Time Systems: Theory and Practice. North−Holland. 1989. |