Information Modelling: 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

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

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]

  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

• [5]

  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)

• [6]

  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)

• [7]

  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)

Conference papers

• [1]

  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)

• [2]

  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

• [3]

  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)

• [4]

  Checking Model Consistency using Data−Flow Testing

  Chen−Wei Wang and Alessandra Cavarra

  In Proceedings of APSEC'09: 16th Asia−Pacific Software Engineering Conference. IEEE. 2009.

  Details about Checking Model Consistency using Data−Flow Testing | BibTeX data for Checking Model Consistency using Data−Flow Testing

• [5]

  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)

• [6]

  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

• [7]

  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

• [8]

  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

• [9]

  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)

• [10]

  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

• [11]

  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)

• [12]

  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

• [13]

  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

Miscellaneous

• [1]

  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