Search the dblp DataBase

Publications of Author

1. Jim Davies, Charles Crichton
   Using State Diagrams to Describe Concurrent Behaviour. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2003, pp:105-124 [Conf]
   
2. Jim Davies, Charles Crichton, Alessandra Cavarra
   A Method for the Automatic Generation of Test Suites from Object Models. [Citation Graph (0, 0)][DBLP]
   SAC, 2003, pp:1104-1109 [Conf]
   
3. Charles Crichton, Jim Davies, Jim Woodcock
   When to Trust Mobile Objects: Access Control in the Jini(tm) Software System. [Citation Graph (0, 0)][DBLP]
   TOOLS (30), 1999, pp:116-125 [Conf]
   
4. Jim Davies, Charles Crichton
   Concurrency and refinement in the UML. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:70, n:3, pp:- [Journal]
   
5. Jim Davies, Charles Crichton, Edward Crichton, David Neilson, Ib Holm Sørensen
   Formality, Evolution, and Model-driven Software Engineering. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:130, n:, pp:39-55 [Journal]
   
6. Jim Davies, Charles Crichton
   Concurrency and Refinement in the Unified Modeling Language. [Citation Graph (0, 0)][DBLP]
   Formal Asp. Comput., 2003, v:15, n:2-3, pp:118-145 [Journal]
   
7. Alessandra Cavarra, Charles Crichton, Jim Davies
   A method for the automatic generation of test suites from object models. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2004, v:46, n:5, pp:309-314 [Journal]
   
8. 
   Semantics-Driven Development for Electronic Government Applications. [Citation Graph (, )][DBLP]
   
   
9. 
   Semantic frameworks for e-government. [Citation Graph (, )][DBLP]
   
   
10. 
    Metadata standards for semantic interoperability in electronic government. [Citation Graph (, )][DBLP]
    
    
11. 
    Semantic technologies in electronic government. [Citation Graph (, )][DBLP]