BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Davies:Jim

Facilitated 3 volumes:

IFM 2007Ed
World Congress on Formal Methods 1999Ed
World Congress on Formal Methods 1999Ed

Contributed to:

SEFM 20072007
SEFM 20052005
ICSE 20032003
SAC 20032003
SAC 20032004
IFM 20022002
IFM 20002000
IFM 19991999
TOOLS USA 19991999

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.