James Welch

Mr James Welch BA (Oxon)

Doctoral Student
Web Developer
Student, University College

james.welch@comlab.ox.ac.uk
+44 (0)1865 (2)73836

Room 140, Wolfson Building, Parks Road, Oxford OX1 3QD

interests

James' current interests are in the development of enterprise software, "Model-Driven" technologies, the Unified Modelling Language, model transformations and metamodelling. He is also involved 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, including this website!

biography

James gained a BA in Computation from Oxford University in 2004, and stayed in Oxford to do a DPhil in Software Engineering.

selected publications (View all)

Automatic Maintenance of Association Invariants

James Welch, David Faitelson and Jim Davies

Software and Systems Modeling, 2008.

Details | BibTeX | DOI (10.1007/s10270-008-0085-0)

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.

Details | BibTeX | DOI (10.1016/j.entcs.2007.03.021)

On the Generation of Object Databases using Booster

Jim Davies et al.

In Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006) IEEE Computer Society, 2006.

Details | BibTeX | DOI (10.1109/ICECCS.2006.1690374)

info

themes	Software Engineering
supervisor	Jim Davies