Jim Davies : Publications

Books

• [1]

  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

• [2]

  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

• [3]

  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)

• [4]

  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

Book chapters

• [1]

  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

• [2]

  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

• [3]

  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

• [4]

  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

Journal papers

• [1]

  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)

• [2]

  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)

• [3]

  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

• [4]

  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

• [5]

  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

• [6]

  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

• [7]

  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

• [8]

  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)

• [9]

  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)

• [10]

  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

• [11]

  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)

• [12]

  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)

• [13]

  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)

• [14]

  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)

• [15]

  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

• [16]

  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

• [17]

  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

• [18]

  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

Conference papers

• [1]

  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)

• [2]

  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

• [3]

  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)

• [4]

  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

• [5]

  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)

• [6]

  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)

• [7]

  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)

• [8]

  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

• [9]

  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)

• [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.

  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

• [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.

  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

• [12]

  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

• [13]

  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

• [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.

  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

• [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

  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

• [16]

  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

• [17]

  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

• [18]

  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)

• [19]

  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

• [20]

  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)

• [21]

  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)

• [22]

  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)

• [23]

  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

• [24]

  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

• [25]

  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

• [26]

  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

• [27]

  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

• [28]

  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)

• [29]

  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)

• [30]

  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

• [31]

  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

• [32]

  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

• [33]

  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)

• [34]

  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

• [35]

  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

• [36]

  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

• [37]

  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

• [38]

  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

• [39]

  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

• [40]

  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

• [41]

  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

• [42]

  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

• [43]

  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

• [44]

  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

Miscellaneous

• [1]

  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

• [2]

  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