Travelled to:
1 × Finland
2 × Germany
2 × United Kingdom
3 × USA
Collaborated with:
C.Bolton C.Crichton A.Cavarra J.Woodcock J.Gibbons J.Welch D.Faitelson A.Simpson A.Martin S.McKeever R.Calinescu S.Harris I.Toujilov S.B.Nagl
Talks about:
object (4) automat (3) model (3) softwar (2) process (2) generat (2) method (2) refin (2) test (2) suit (2)
Person: Jim Davies
DBLP: Davies:Jim
Facilitated 3 volumes:
Contributed to:
Wrote 9 papers:
- SEFM-2007-CalinescuHGDTN #architecture #modelling #research
- Model-driven architecture for cancer research (RC, SH, JG, JD, IT, SBN), pp. 59–68.
- SEFM-2005-WelchFD #automation #invariant #maintenance
- Automatic Maintenance of Association Invariants (JW, DF, JD), pp. 282–292.
- ICSE-2003-SimpsonMGDM #assessment #on the #re-engineering
- On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects (AS, AM, JG, JD, SM), pp. 628–633.
- SAC-2003-DaviesCC #automation #generative #modelling #testing
- A Method for the Automatic Generation of Test Suites from Object Models (JD, CC, AC), pp. 1104–1109.
- SAC-J-2003-CavarraCD04 #automation #generative #modelling #testing
- A method for the automatic generation of test suites from object models (AC, CC, JD), pp. 309–314.
- IFM-2002-BoltonD #csp #refinement
- Refinement in Object-Z and CSP (CB, JD), pp. 225–244.
- IFM-2000-BoltonD #graph #process
- Activity Graphs and Processes (CB, JD), pp. 77–96.
- IFM-1999-BoltonDW #data type #on the #process #refinement #simulation
- On the Refinement and Simulation of Data Types and Processes (CB, JD, JW), pp. 273–292.
- TOOLS-USA-1999-CrichtonDW #data access #mobile #trust
- When to Trust Mobile Objects: Access Control in the Jini(tm) Software System (CC, JD, JW), pp. 116–125.