James Welch
|
Mr
James
Welch
BA (Oxon)
Doctoral Student
Research Assistant
Student,
University College
james.welch@cs.ox.ac.uk
(01865 6) 10747
Room 465, 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 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.Biography
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.
Links
Selected Publications
| 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. |
Info
|
Themes |
|
|
Activities |
Research Informatics | Clinical Informatics | Information Modelling |
|
Projects |
|
|
Supervisor |
|
