Charles Crichton: Publications

[1]	Metadata-Driven Software for Clinical Trials Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Andrew Tsui, James Brenton May 2009. To appear. Details \| BibTeX \| Link (pdf)

[2]	Semantics-Driven Development for Electronic Government Applications Charles Crichton, Jim Davies, Jeremy Gibbons, Steve Harris, Aadya Shukla, Andrew Tsui In HICSS Workshop on Electronic Government Hawaii. January 2009. Details \| BibTeX \| Link (pdf)

[3]	Semantic Technologies in Electronic Government Steve Harris et al. In Tomasz Janowski, Teresa Pardo, editors, ICEGOV 2008 pages 45 — 51. Cairo. December 2008. ACM Press. Details \| BibTeX \| Link (pdf)

[4]

Metadata Standards for Semantic Interoperability in Electronic Government

Jim Davies, Steve Harris, Charles Crichton, Aadya Shukla, Jeremy Gibbons

In International Conference on Theory and Practice of Electronic Governance Cairo. December 2008.

Received a Best Paper Award.

Details | BibTeX | Link (pdf)

[5]	Semantic Frameworks for e-Government Charles Crichton et al. In Theresa Pardo, Tomasz Janowski, editors, First International Conference on Theory and Practice of Electronic Governance (ICEGOV) 2007 pages 30—39. ACM, December 2007. Details \| BibTeX \| Link (pdf) \| DOI (10.1145/1328057.1328066)

[6]	Formality, Evolution, and Model-driven Software Engineering Jim Davies et al. Electronic Notes in Theoretical Computer Science, Vol. 130, pages 39-55. 2005. Details \| BibTeX \| DOI (10.1016/j.entcs.2005.03.004)

[7]	A Method for the Automatic Generation of Test Suites from Object Models Alessandra Cavarra, Charles Crichton and Jim Davies Information & Software Technology, Vol. 46, No. 5, pages 309-314. 2004. Details \| BibTeX \| DOI (10.1016/j.infsof.2003.09.004)

[8]	Concurrency and Refinement in the Unified Modeling Language Jim Davies, Charles Crichton Formal Aspects of Computing, Vol. 15, No. 2-3, pages 118-145. 2003. Details \| BibTeX \| DOI (10.1007/s00165-003-0008-3)

[9]

Using State Diagrams to Describe Concurrent Behaviour

Jim Davies, Charles Crichton

In Jin Song Dong, Jim Woodcock, editors, 5th International Conference on Formal Engineering Methods, ICFEM 2003 Vol. 2885/2003, pages 105-124. Springer Berlin / Heidelberg, 2003.

Details | BibTeX | DOI (10.1007/b94115)

[10]

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 | BibTeX | DOI (10.1145/952532.952748)

[11]	Concurrency and Refinement in the Unified Modeling Language Jim Davies, Charles Crichton Electronic Notes in Theoretical Computer Science, Vol. 70, No. 3, pages 217-243. 2002. Details \| BibTeX \| DOI (10.1016/S1571-0661(05)80494-3)

[12]	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 \| BibTeX \| DOI (10.1109/TOOLS.1999.787541)