Charles Crichton : Publications

Journal papers

• [1]

  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

• [2]

  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

• [3]

  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

• [4]

  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)

• [5]

  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)

• [6]

  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)

• [7]

  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)

Conference papers

• [1]

  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

• [2]

  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)

• [3]

  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

• [4]

  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

• [5]

  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

• [6]

  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

• [7]

  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)

• [8]

  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)

• [9]

  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)

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