| 2007 |
|---|
| 8 | EE | Charles Crichton,
Jim Davies,
Jeremy Gibbons,
Steve Harris,
Aadya Shukla:
Semantic frameworks for e-government.
ICEGOV 2007: 30-39 |
| 2005 |
|---|
| 7 | EE | Jim Davies,
Charles Crichton,
Edward Crichton,
David Neilson,
Ib Holm Sørensen:
Formality, Evolution, and Model-driven Software Engineering.
Electr. Notes Theor. Comput. Sci. 130: 39-55 (2005) |
| 2004 |
|---|
| 6 | EE | Alessandra Cavarra,
Charles Crichton,
Jim Davies:
A method for the automatic generation of test suites from object models.
Information & Software Technology 46(5): 309-314 (2004) |
| 2003 |
|---|
| 5 | EE | Jim Davies,
Charles Crichton:
Using State Diagrams to Describe Concurrent Behaviour.
ICFEM 2003: 105-124 |
| 4 | | Jim Davies,
Charles Crichton,
Alessandra Cavarra:
A Method for the Automatic Generation of Test Suites from Object Models.
SAC 2003: 1104-1109 |
| 3 | EE | Jim Davies,
Charles Crichton:
Concurrency and Refinement in the Unified Modeling Language.
Formal Asp. Comput. 15(2-3): 118-145 (2003) |
| 2002 |
|---|
| 2 | EE | Jim Davies,
Charles Crichton:
Concurrency and refinement in the UML.
Electr. Notes Theor. Comput. Sci. 70(3): (2002) |
| 1999 |
|---|
| 1 | EE | Charles Crichton,
Jim Davies,
Jim Woodcock:
When to Trust Mobile Objects: Access Control in the Jini(tm) Software System.
TOOLS (30) 1999: 116-125 |
