James Welch

Publication Activity (10 Years)

Years Active: 2005-2021
Publications (10 Years): 2

Top Topics

Question Answer Pairs

Methodological Issues

Semantic Interoperability

Top Venues

Sci. Comput. Program.

Publications

George Tilston, Richard Williams, Emily Griffiths, Sarah Al-Adely, Saskia Lawson-Tovey, William Hulme, Andrea Short, Jim Davies, James Welch, Niels Peek
Can Researchers Assess the Suitability of Datasets to Answer Their Research Questions, with Access to Metadata Only? MedInfo (2021)
Jim Davies, James Welch, David Milward, Steve Harris
A formal, scalable approach to semantic interoperability. Sci. Comput. Program. 192 (2020)
Jim Davies, Jeremy Gibbons, Adam Milward, David Milward, Seyyed Shah, Monika Solanki, James Welch
Domain specific modelling for clinical research. DSM@SPLASH (2015)
Jim Davies, David Milward, Chen-Wei Wang, James Welch
Formal model-driven engineering of critical information systems. Sci. Comput. Program. 103 (2015)
Jim Davies, Jeremy Gibbons, James Welch, Edward Crichton
Model-driven engineering of information systems: 10 years and 1000 versions. Sci. Comput. Program. 89 (2014)
Jim Davies, Jeremy Gibbons, David Milward, James Welch
Compositionality and Refinement in Model-Driven Engineering. SBMF (2012)
Daniel Abler, Charles Crichton, James Welch, Jim Davies, Steve Harris
Models for forms. SPLASH Workshops (2011)
Chen-Wei Wang, Jim Davies, James Welch
A Guarded Workflow Language and Its Formal Semantics. TASE (2010)
Mohammed A. Aboulsamh, Edward Crichton, Jim Davies, James Welch
Model-Driven Data Migration. ER Workshops (2010)
James Welch, David Faitelson, Jim Davies
Automatic maintenance of association invariants. Softw. Syst. Model. 7 (3) (2008)
Jim Davies, David Faitelson, James Welch
Domain-specific Semantics and Data Refinement of Object Models. Electron. Notes Theor. Comput. Sci. 195 (2008)
Alessandra Cavarra, James Welch
Behavioural Specifications from Class Models. IFM (2007)
David Faitelson, James Welch, Jim Davies
From Predicates to Programs: The Semantics of a Method Language. Electron. Notes Theor. Comput. Sci. 184 (2007)
James Welch, James Clark
A Proposed Media Delivery Index (MDI). RFC 4445 (2006)
Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton
On the Generation of Object Databases using Booster. ICECCS (2006)
James Welch, David Faitelson, Jim Davies
Automatic Maintenance of Association Invariants. SEFM (2005)