Jim Davies : Publications

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

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

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

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)

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)

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)

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

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

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)

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

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

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

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)

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)

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

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

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

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

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

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

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)

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

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

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

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)

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)

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

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

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

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

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

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)

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

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

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)

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)

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

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)

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

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

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)

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

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

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)

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

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)

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)

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)

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

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

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

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

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

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

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)

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

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

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

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

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