Mr James Welch BA (Oxon)
Student, University College
(01865 6) 10747
Room 465, Wolfson Building, Parks Road, Oxford OX1 3QD
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.
On the Generation of Object Databases using Booster
Jim Davies‚ James Welch‚ Alessandra Cavarra and Edward Crichton
In Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006). IEEE Computer Society. 2006.