Charles Crichton: Publications

[1]	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)

[2]	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)

[3]	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)

[4]	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)

[5]

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)

[6]

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)

[7]	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)

[8]	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)