Information Modelling: Publications
|
[1] |
The CancerGrid Experience: Metadata−Based Model−Driven Engineering for Clinical Trials Jim Davies‚ Jeremy Gibbons‚ Steve Harris and Charles Crichton March, 2012. Submitted for publication |
|
[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. August, 2011. |
|
[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. |
|
[4] |
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. |
|
[5] |
Metadata−Driven Software for Clinical Trials Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Andrew Tsui and James Brenton May, 2009. |
|
[6] |
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. |
|
[7] |
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. |
|
[8] |
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. |
|
[9] |
Automatic Maintenance of Association Invariants James Welch‚ David Faitelson and Jim Davies In Software and Systems Modeling. 2008. |
|
[10] |
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. |
|
[11] |
Accelerating Cancer Research Using Semantics−Driven Technology James Brenton‚ Jim Davies‚ Jeremy Gibbons and Steve Harris In Microsoft eScience Workshop. Indianapolis‚ IN. December, 2008. |
|
[12] |
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. |
|
[13] |
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. |
|
[14] |
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. |
|
[15] |
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. |
|
[16] |
Domain−Specific Semantics and Data Refinement of Object Models Jim Davies‚ David Faitelson and James Welch In Brazilian Symposium on Formal Methods (SBMF). 2006. |
|
[17] |
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. |
|
[18] |
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. |