James Welch

Mr James Welch BA (Oxon)

Doctoral Student
Student, University College

james.welch@comlab.ox.ac.uk
01865 (6)10716

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.

links

My Software Engineering Page

publications

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)

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)

View all

info

themes	Software Engineering
activities	Model-based Software Engineering
supervisor	Jim Davies

location

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