James Welch
Mr James Welch BA (Oxon)
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.
See also
Selected Publications
-
Automatic Maintenance of Association Invariants
James Welch‚ David Faitelson and Jim Davies
In Software and Systems Modeling. 2008.
Details about Automatic Maintenance of Association Invariants | BibTeX data for Automatic Maintenance of Association Invariants | 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 about From Predicates to Programs: The Semantics of a Method Language | BibTeX data for From Predicates to Programs: The Semantics of a Method Language | DOI (10.1016/j.entcs.2007.03.021)
-
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.
Details about Model−driven Engineering of Information Systems: 10 years and 1000 versions | BibTeX data for Model−driven Engineering of Information Systems: 10 years and 1000 versions | DOI (10.1016/j.scico.2013.02.002)