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