James Welch

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