Jim Davies : Publications

A Brief History of Timed CSP

Jim Davies and Steve Schneider

In Theoretical Computer Science. Vol. 138. No. 2. Pages 243−271. 1995.

Details about A Brief History of Timed CSP | BibTeX data for A Brief History of Timed CSP | Link to A Brief History of Timed CSP

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.

Details about A Guarded Workflow Language and Its Formal Semantics | BibTeX data for A Guarded Workflow Language and Its Formal Semantics | DOI (10.1109/TASE.2010.21)

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.

Details about A Method for the Automatic Generation of Test Suites from Object Models | BibTeX data for A Method for the Automatic Generation of Test Suites from Object Models | DOI (10.1016/j.infsof.2003.09.004)

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.

Details about A Method for the Automatic Generation of Test Suites from Object Models | BibTeX data for A Method for the Automatic Generation of Test Suites from Object Models | DOI (10.1145/952532.952748)

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.

Details about A Singleton Failures Semantics for Communicating Sequential Processes | BibTeX data for A Singleton Failures Semantics for Communicating Sequential Processes

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.

Details about A comparison of refinement orderings and their associated simulation rules | BibTeX data for A comparison of refinement orderings and their associated simulation rules | Link to A comparison of refinement orderings and their associated simulation rules

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.

Details about A metadata approach for clinical data management in translational genomics studies in breast cancer | BibTeX data for A metadata approach for clinical data management in translational genomics studies in breast cancer | DOI (10.1186/1755-8794-2-66)

Abstract data types and Processes

J. Woodcock‚ J. Davies and C. Bolton

2000.

Details about Abstract data types and Processes | BibTeX data for Abstract data types and Processes

Accelerating Cancer Research Using Semantics−Driven Technology

James Brenton‚ Jim Davies‚ Jeremy Gibbons and Steve Harris

In Microsoft eScience Workshop. Indianapolis‚ IN. December, 2008.

Details about Accelerating Cancer Research Using Semantics−Driven Technology | BibTeX data for Accelerating Cancer Research Using Semantics−Driven Technology | Download (pdf) of Accelerating Cancer Research Using Semantics−Driven Technology

Activity Graphs and Processes

Christie Bolton and Jim Davies

Pages 77−96. 2000.

Details about Activity Graphs and Processes | BibTeX data for Activity Graphs and Processes | Link to Activity Graphs and Processes

Automatic Maintenance of Association Invariants

James Welch‚ David Faitelson and Jim Davies

In Software and Systems Modeling. 2008.

Details about Automatic Maintenance of Association Invariants | BibTeX data for Automatic Maintenance of Association Invariants | DOI (10.1007/s10270-008-0085-0)

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.

Details about Automatic Maintenance of Association Invariants | BibTeX data for Automatic Maintenance of Association Invariants

Broadcast Communication for Real−time Processes

Jim Davies‚ Dave Jackson and Steve Schneider

Pages 149−169. 1992.

Details about Broadcast Communication for Real−time Processes | BibTeX data for Broadcast Communication for Real−time Processes

Compositionality and Refinement in Model−Driven Engineering

Jim Davies‚ Jeremy Gibbons‚ David Milward and James Welch

In Rohit Gheyi and David A. Naumann, editors, Formal Methods: Foundations and Applications − 15th Brazilian Symposium‚ SBMF 2012. Proceedings. Vol. 7498 of Lecture Notes in Computer Science. Pages 99−114. Springer. 2012.

Details about Compositionality and Refinement in Model−Driven Engineering | BibTeX data for Compositionality and Refinement in Model−Driven Engineering | Download  (pdf) of Compositionality and Refinement in Model−Driven Engineering | DOI (10.1007/978-3-642-33296-8_9)

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.

Details about Concurrency and Refinement in the Unified Modeling Language | BibTeX data for Concurrency and Refinement in the Unified Modeling Language | DOI (10.1016/S1571-0661(05)80494-3)

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.

Details about Concurrency and Refinement in the Unified Modeling Language | BibTeX data for Concurrency and Refinement in the Unified Modeling Language | DOI (10.1007/s00165-003-0008-3)

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.

Details about Cross−Trial Query System for Cancer Clinical Trials | BibTeX data for Cross−Trial Query System for Cancer Clinical Trials | DOI (10.1007/978-1-4020-6268-1_69) | Download (pdf) of Cross−Trial Query System for Cancer Clinical Trials

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.

Details about Deep Zoom and Touch Screen for Tissue Microarray Image Scoring | BibTeX data for Deep Zoom and Touch Screen for Tissue Microarray Image Scoring

Domain−Specific Modelling for Clinical Research

Jim Davies‚ Jeremy Gibbons‚ Adam Milward‚ David Milward‚ Seyyed Shah‚ Monika Solanki and James Welch

In SPLASH Workshop on Domain−Specific Modelling. October, 2015.

Details about Domain−Specific Modelling for Clinical Research | BibTeX data for Domain−Specific Modelling for Clinical Research | DOI (10.1145/2846696.2846701) | Download (pdf) of Domain−Specific Modelling for Clinical Research

Domain−Specific Semantics and Data Refinement of Object Models

Jim Davies‚ David Faitelson and James Welch

In Brazilian Symposium on Formal Methods (SBMF). 2006.

Details about Domain−Specific Semantics and Data Refinement of Object Models | BibTeX data for Domain−Specific Semantics and Data Refinement of Object Models

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.

Details about Domain−specific Semantics and Data Refinement of Object Models | BibTeX data for Domain−specific Semantics and Data Refinement of Object Models | DOI (10.1016/j.entcs.2007.08.031)

Economies and Diseconomies of Scale in Software Development

Craig Comstock‚ Zhizhong Jiang and Jim Davies

In Journal of Software Maintenance. 2011.

Details about Economies and Diseconomies of Scale in Software Development | BibTeX data for Economies and Diseconomies of Scale in Software Development

Engineering Agile Big−Data Systems

Kevin Feeney‚ Jim Davies‚ James Welch‚ Sebastian Hellmann‚ Christian Dirschl‚ Andreas Koller‚ Pieter Francois and Arkadiusz Marciniak

2018.

Details about Engineering Agile Big−Data Systems | BibTeX data for Engineering Agile Big−Data Systems | Link to Engineering Agile Big−Data Systems

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.

Details about Evolving Health Informatics: Semantic Frameworks and Metadata−Driven Architectures | BibTeX data for Evolving Health Informatics: Semantic Frameworks and Metadata−Driven Architectures | Download (pdf) of Evolving Health Informatics: Semantic Frameworks and Metadata−Driven Architectures

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

Details about FM'99 − Formal Methods‚ World Congress on Formal Methods in the Development of Computing Systems‚ Toulouse‚ France‚ September 20−24‚ 1999‚ Proceedings‚ Volume I | BibTeX data for FM'99 − Formal Methods‚ World Congress on Formal Methods in the Development of Computing Systems‚ Toulouse‚ France‚ September 20−24‚ 1999‚ Proceedings‚ Volume I

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

Details about FM'99 − Formal Methods‚ World Congress on Formal Methods in the Development of Computing Systems‚ Toulouse‚ France‚ September 20−24‚ 1999‚ Proceedings‚ Volume II | BibTeX data for FM'99 − Formal Methods‚ World Congress on Formal Methods in the Development of Computing Systems‚ Toulouse‚ France‚ September 20−24‚ 1999‚ Proceedings‚ Volume II

Factorising Proofs in Timed CSP

J. Davies and S. Schneider

In Real−Time Systems: Theory and Practice. North−Holland. 1989.

Details about Factorising Proofs in Timed CSP | BibTeX data for Factorising Proofs in Timed CSP

Factorizing Proofs in Timed CSP

Jim Davies and Steve Schneider

Pages 129−159. 1989.

Details about Factorizing Proofs in Timed CSP | BibTeX data for Factorizing Proofs in Timed CSP

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. Vol. 7151 of LNCS. Pages 21−38. Springer. August, 2011.

Details about Form Follows Function: Model−Driven Engineering for Clinical Trials | BibTeX data for Form Follows Function: Model−Driven Engineering for Clinical Trials | DOI (10.1007/978-3-642-32355-3_2) | Download (pdf) of Form Follows Function: Model−Driven Engineering for Clinical Trials

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

Details about Formal Methods and Software Engineering‚ 6th International Conference on Formal Engineering Methods‚ ICFEM 2004‚ Seattle‚ WA‚ USA‚ November 8−12‚ 2004‚ Proceedings | BibTeX data for Formal Methods and Software Engineering‚ 6th International Conference on Formal Engineering Methods‚ ICFEM 2004‚ Seattle‚ WA‚ USA‚ November 8−12‚ 2004‚ Proceedings

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)

Details about Formal Methods for Future Interoperability | BibTeX data for Formal Methods for Future Interoperability | DOI (10.1145/1595453.1595463) | Download (pdf) of Formal Methods for Future Interoperability

Formal model−driven engineering of critical information systems

Jim Davies‚ David Milward‚ Chen−Wei Wang and James Welch

In Science of Computer Programming. Vol. 103. Pages 88 − 113. 2015.

Details about Formal model−driven engineering of critical information systems | BibTeX data for Formal model−driven engineering of critical information systems | DOI (10.1016/j.scico.2014.11.004)

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.

Details about Formality‚ Evolution‚ and Model−driven Software Engineering | BibTeX data for Formality‚ Evolution‚ and Model−driven Software Engineering | DOI (10.1016/j.entcs.2005.03.004)

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.

Details about From Predicates to Programs: The Semantics of a Method Language | BibTeX data for From Predicates to Programs: The Semantics of a Method Language | DOI (10.1016/j.entcs.2007.03.021)

Integrated Formal Methods

Jim Davies and Jeremy Gibbons, editors

Details about Integrated Formal Methods | BibTeX data for Integrated Formal Methods

Machine Learning and Software Engineering in Health Informatics

David A. Clifton‚ Jeremy Gibbons‚ Jim Davies and Lionel Tarassenko

May, 2012.

Details about Machine Learning and Software Engineering in Health Informatics | BibTeX data for Machine Learning and Software Engineering in Health Informatics | DOI (10.1109/RAISE.2012.6227968) | Download (pdf) of Machine Learning and Software Engineering in Health Informatics

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

Details about Metadata Standards for Semantic Interoperability in Electronic Government | BibTeX data for Metadata Standards for Semantic Interoperability in Electronic Government | Download (pdf) of Metadata Standards for Semantic Interoperability in Electronic Government

Metadata−Driven Software for Clinical Trials

Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Andrew Tsui and James Brenton

May, 2009.

Details about Metadata−Driven Software for Clinical Trials | BibTeX data for Metadata−Driven Software for Clinical Trials | DOI (10.1109/SEHC.2009.5069600) | Download (pdf) of Metadata−Driven Software for Clinical Trials

Millennial Perspectives in Computer Science

J. Davies‚ A. Roscoe and J. Woodcock, editors

Palgrave. 2000.

Details about Millennial Perspectives in Computer Science | BibTeX data for Millennial Perspectives in Computer Science

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.

Details about Model−Driven Architecture for Cancer Research | BibTeX data for Model−Driven Architecture for Cancer Research | DOI (10.1109/SEFM.2007.26) | Download (pdf) of Model−Driven Architecture for Cancer Research

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.

Details about Model−Driven Data Migration | BibTeX data for Model−Driven Data Migration | DOI (10.1007/978-3-642-16385-2_35)

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.

Details about Model−Driven Support for a Vaccine Study in Kathmandu | BibTeX data for Model−Driven Support for a Vaccine Study in Kathmandu | Download (pdf) of Model−Driven Support for a Vaccine Study in Kathmandu

Model−driven Engineering of Information Systems: 10 years and 1000 versions

Jim Davies‚ Jeremy Gibbons‚ James Welch and Edward Crichton

In Science of Computer Programming. Vol. 89B. Pages 88−104. September, 2014.

Details about Model−driven Engineering of Information Systems: 10 years and 1000 versions | BibTeX data for Model−driven Engineering of Information Systems: 10 years and 1000 versions | DOI (10.1016/j.scico.2013.02.002)

Models for Forms

Daniel Abler‚ Charles Crichton‚ Jim Davies‚ Steve Harris and James Welch

October, 2011.

Details about Models for Forms | BibTeX data for Models for Forms | Link to Models for Forms

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.

Details about On The Supervision and Assessment Of Part−Time Postgraduate Software Engineering Projects | BibTeX data for On The Supervision and Assessment Of Part−Time Postgraduate Software Engineering Projects | Link to On The Supervision and Assessment Of Part−Time Postgraduate Software Engineering Projects

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.

Details about On the Generation of Object Databases using Booster | BibTeX data for On the Generation of Object Databases using Booster | DOI (10.1109/ICECCS.2006.1690374)

On the Refinement and Simulation of Data Types and Processes

Christie Bolton‚ Jim Davies and Jim Woodcock

Pages 273−292. 1999.

Details about On the Refinement and Simulation of Data Types and Processes | BibTeX data for On the Refinement and Simulation of Data Types and Processes

On the formal specification and verification of network routing algorithms

Jim Davies and Matt Wallis

Pages 100−115. 1994.

Details about On the formal specification and verification of network routing algorithms | BibTeX data for On the formal specification and verification of network routing algorithms

Positive Imagery−Based Cognitive Bias Modification as a Web−Based Treatment Tool for Depressed Adults

Simon E Blackwell‚ Michael Browning‚ A. Mathews‚ Arnaud Pictet‚ James Welch‚ Jim Davies‚ Peter Watson‚ John R. Geddes and Emily A. Holmes

Vol. 3. No. 1. Pages 91−111. 2015.

Details about Positive Imagery−Based Cognitive Bias Modification as a Web−Based Treatment Tool for Depressed Adults | BibTeX data for Positive Imagery−Based Cognitive Bias Modification as a Web−Based Treatment Tool for Depressed Adults | DOI (10.1177/2167702614560746)

Real−time CSP

J. Davies and S. Schneider

In Theories and Experiences for Real−time Systems. World Scientific. 1994.

Details about Real−time CSP | BibTeX data for Real−time CSP

Real−time LOTOS and Timed Observations

Jim Davies‚ Jeremy Bryans and Steve Schneider

Pages 383−397. 1995.

Details about Real−time LOTOS and Timed Observations | BibTeX data for Real−time LOTOS and Timed Observations

Recursion Induction for Real−Time Processes

Jim Davies and Steve Schneider

In Formal Aspects of Computing. Vol. 5. No. 6. Pages 530−553. 1994.

Details about Recursion Induction for Real−Time Processes | BibTeX data for Recursion Induction for Real−Time Processes

Refinement in Object−Z and CSP

Christie Bolton and Jim Davies

Pages 225−244. 2002.

Details about Refinement in Object−Z and CSP | BibTeX data for Refinement in Object−Z and CSP | Link to Refinement in Object−Z and CSP

Replication Strategies for Reliable Decentralised Storage

Matthew Leslie‚ Jim Davies and Todd Huffman

In ARES. Pages 740−747. IEEE Computer Society. 2006.

Details about Replication Strategies for Reliable Decentralised Storage | BibTeX data for Replication Strategies for Reliable Decentralised Storage | DOI (10.1109/ARES.2006.108)

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.

Details about Safety through Security | BibTeX data for Safety through Security

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.

Details about Semantic Frameworks for e−Government | BibTeX data for Semantic Frameworks for e−Government | DOI (10.1145/1328057.1328066) | Download (pdf) of Semantic Frameworks for e−Government

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.

Details about Semantic Frameworks: Meanings in the Architecture | BibTeX data for Semantic Frameworks: Meanings in the Architecture | DOI (10.1007/978-3-642-11659-9_4)

Semantic Interoperability in Practice

Jim Davies‚ Steve Harris and Aadya Shukla

In HICSS (Electronic Government Track). 2010.

Details about Semantic Interoperability in Practice | BibTeX data for Semantic Interoperability in Practice

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.

Details about Semantic Technologies in Electronic Government | BibTeX data for Semantic Technologies in Electronic Government | DOI (10.1145/1509096.1509108) | Download (pdf) of Semantic Technologies in Electronic Government

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.

Details about Semantics−Driven Development for Electronic Government Applications | BibTeX data for Semantics−Driven Development for Electronic Government Applications | DOI (10.1109/HICSS.2009.384) | Download (pdf) of Semantics−Driven Development for Electronic Government Applications

Software Project Management for Combined Software and Data Engineering

Seyyed M. Shah‚ James Welch‚ Jim Davies and Jeremy Gibbons

In Zaigham Mahmood, editor, Software Project Management for Distributed Computing: Life−Cycle Methods for Developing Scalable and Reliable Tools. Pages 367−385. Springer International Publishing. 2017.

Details about Software Project Management for Combined Software and Data Engineering | BibTeX data for Software Project Management for Combined Software and Data Engineering | DOI (10.1007/978-3-319-54325-3_15) | Download (pdf) of Software Project Management for Combined Software and Data Engineering

Specification and Proof in Real−time CSP

J. Davies

Cambridge University Press. 1993.

Details about Specification and Proof in Real−time CSP | BibTeX data for Specification and Proof in Real−time CSP

Teaching Formal Methods in Context

Jim Davies‚ Andrew Simpson and Andrew Martin

Pages 185−202. 2004.

Details about Teaching Formal Methods in Context | BibTeX data for Teaching Formal Methods in Context | Link to Teaching Formal Methods in Context

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.

Details about Technological foundations of electronic governance | BibTeX data for Technological foundations of electronic governance | DOI (10.1145/1328057.1328063)

The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials

Jim Davies‚ Jeremy Gibbons‚ Steve Harris and Charles Crichton

In Science of Computer Programming. Vol. 89B. Pages 126−143. September, 2014.

Details about The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials | BibTeX data for The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials | DOI (10.1016/j.scico.2013.02.010) | Download (pdf) of The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials

The Mechanical Verification of Solid State Interlocking Geographic Data

A. Simpson‚ J. Woodcock and J. Davies

In Proceedings of Formal Methods Pacific. Springer. 1997.

Details about The Mechanical Verification of Solid State Interlocking Geographic Data | BibTeX data for The Mechanical Verification of Solid State Interlocking Geographic Data

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.

Details about Timed CSP: Theory and Practice | BibTeX data for Timed CSP: Theory and Practice

Towards a denotational semantics for ET−LOTOS

Jeremy Bryans‚ Jim Davies and Steve Schneider

Pages 269−283. 1995.

Details about Towards a denotational semantics for ET−LOTOS | BibTeX data for Towards a denotational semantics for ET−LOTOS

Using Relational and Behavioural Semantics in the Verification of Object Models

Christie Bolton and Jim Davies

Pages 163−182. 2000.

Details about Using Relational and Behavioural Semantics in the Verification of Object Models | BibTeX data for Using Relational and Behavioural Semantics in the Verification of Object Models

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.

Details about Using State Diagrams to Describe Concurrent Behaviour | BibTeX data for Using State Diagrams to Describe Concurrent Behaviour | DOI (10.1007/b94115)

Using CSP to Verify Sequential Consistency

Gavin Lowe and Jim Davies

In Distributed Computing. Vol. 12. No. 2−3. Pages 91−103. 1999.

Details about Using CSP to Verify Sequential Consistency | BibTeX data for Using CSP to Verify Sequential Consistency | Link to Using CSP to Verify Sequential Consistency

Using CSP to Verify a Timed Protocol over a Fair Medium

Jim Davies and Steve Schneider

Pages 355−369. 1992.

Details about Using CSP to Verify a Timed Protocol over a Fair Medium | BibTeX data for Using CSP to Verify a Timed Protocol over a Fair Medium

Using Z: Specification‚ Refinement‚ and Proof

J. Woodcock and J. Davies

Prentice Hall International. 1996.

Details about Using Z: Specification‚ Refinement‚ and Proof | BibTeX data for Using Z: Specification‚ Refinement‚ and Proof | LCCN (96004347)

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.

Details about WSRF−Based Modeling of Clinical Trial Information for Collaborative Cancer Research | BibTeX data for WSRF−Based Modeling of Clinical Trial Information for Collaborative Cancer Research | DOI (10.1109/CCGRID.2008.57) | Download (pdf) of WSRF−Based Modeling of Clinical Trial Information for Collaborative Cancer Research

When to Trust Mobile Objects: Access Control in the Jini Software System

Charles Crichton‚ Jim Davies and Jim Woodcock

In Proceedings of TOOLS. 1999.

Details about When to Trust Mobile Objects: Access Control in the Jini Software System | BibTeX data for When to Trust Mobile Objects: Access Control in the Jini Software System | DOI (10.1109/TOOLS.1999.787541)

CancerGrid: Developing Open Standards for Clinical Cancer Informatics

James Brenton‚ Carlos Caldas‚ Jim Davies‚ Steve Harris and Peter Maccallum

In All Hands Meeting. 2005.

Details about CancerGrid: Developing Open Standards for Clinical Cancer Informatics | BibTeX data for CancerGrid: Developing Open Standards for Clinical Cancer Informatics