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.
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)
-
[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.
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)
-
[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.
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)
-
[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.
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)
-
[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.
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)
-
[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.
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
-
[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 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
-
[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.
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)
-
[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
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
-
[10]
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
-
[11]
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
-
[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 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
-
[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 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
-
[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 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
-
[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. 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
-
[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.
Details about Using State Diagrams to Describe Concurrent Behaviour | BibTeX data for Using State Diagrams to Describe Concurrent Behaviour | DOI (10.1007/b94115)
-
[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.
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)