Charles Crichton : Publications
|
[1] |
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. |
|
[2] |
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. |
|
[3] |
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. |
|
[4] |
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. |
|
[5] |
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. |
|
[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] |
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 | BibTeX | DOI (10.1007/978-3-642-32355-3_2) | Download (pdf) |
|
[8] |
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. |
|
[9] |
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 |
|
[10] |
Metadata−Driven Software for Clinical Trials Charles Crichton‚ Jim Davies‚ Jeremy Gibbons‚ Steve Harris‚ Andrew Tsui and James Brenton May, 2009. Details | BibTeX | DOI (10.1109/SEHC.2009.5069600) | Download (pdf) |
|
[11] |
Models for Forms Daniel Abler‚ Charles Crichton‚ Jim Davies‚ Steve Harris and James Welch October, 2011. |
|
[12] |
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 | BibTeX | DOI (10.1145/1328057.1328066) | Download (pdf) |
|
[13] |
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 | BibTeX | DOI (10.1145/1509096.1509108) | Download (pdf) |
|
[14] |
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 | BibTeX | DOI (10.1109/HICSS.2009.384) | Download (pdf) |
|
[15] |
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. March, 2013. To appear Details | BibTeX | DOI (10.1016/j.scico.2013.02.010) | Download (pdf) |
|
[16] |
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. |
|
[17] |
When to Trust Mobile Objects: Access Control in the Jini Software System Charles Crichton‚ Jim Davies and Jim Woodcock In Proceedings of TOOLS. 1999. |