InterestsJames' current interests are in the development of enterprise software, "model-driven" technologies, the Unified Modelling Language, model transformations and metamodelling. He is also interested in formal methods, refinement and in particular the languages of Z and B. These interests are combined in a current project on the Booster language and Toolkit, and put into practice on a number of development projects.
James gained a BA in Computation from Oxford University in 2004, and stayed in Oxford to do a DPhil in Software Engineering. He is currently working on the MRC Data Support Service in conjunction with OeRC and Software Engineering.
Automatic Maintenance of Association Invariants
James Welch‚ David Faitelson and Jim Davies
In Software and Systems Modeling. 2008.
From Predicates to Programs: The Semantics of a Method Language
David Faitelson‚ James Welch and Jim Davies
In Proceedings of SBMF 2005. Vol. 184. Pages 171–187. Electronic Notes in Theoretical Computer Science. 2007.
Model−driven Engineering of Information Systems: 10 years and 1000 versions
Jim Davies‚ Jeremy Gibbons‚ James Welch and Edward Crichton
In Science of Computer Programming. Vol. 89B. Pages 88−104. September, 2014.