| 2009 |
|---|
| 11 | EE | Charles Crichton,
Jim Davies,
Jeremy Gibbons,
Steve Harris,
Aadya Shukla,
Andrew Tsui:
Semantics-Driven Development for Electronic Government Applications.
HICSS 2009: 1-10 |
| 2008 |
|---|
| 10 | EE | Steve Harris,
Jeremy Gibbons,
Jim Davies,
Andrew Tsui,
Charles Crichton:
Semantic technologies in electronic government.
ICEGOV 2008: 45-51 |
| 9 | EE | Jim Davies,
Steve Harris,
Charles Crichton,
Aadya Shukla,
Jeremy Gibbons:
Metadata standards for semantic interoperability in electronic government.
ICEGOV 2008: 67-75 |
| 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 |
