James Welch

According to our database, James Welch authored at least 15 papers between 2005 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Can Researchers Assess the Suitability of Datasets to Answer Their Research Questions, with Access to Metadata Only?

George Tilston, Richard Williams, Emily Griffiths, Sarah Al-Adely, Saskia Lawson-Tovey, William Hulme, Andrea Short, Jim Davies, James Welch, Niels Peek

Proceedings of the MEDINFO 2021: One World, One Health - Global Partnership for Digital Innovation, 2021

2020

A formal, scalable approach to semantic interoperability.

Jim Davies, James Welch, David Milward, Steve Harris

Sci. Comput. Program., 2020

2015

Formal model-driven engineering of critical information systems.

Jim Davies, David Milward, Chen-Wei Wang, James Welch

Sci. Comput. Program., 2015

Domain specific modelling for clinical research.

Jim Davies, Jeremy Gibbons, Adam Milward, David Milward, Seyyed Shah, Monika Solanki, James Welch

Proceedings of the Workshop on Domain-Specific Modeling, 2015

2014

Model-driven engineering of information systems: 10 years and 1000 versions.

Jim Davies, Jeremy Gibbons, James Welch, Edward Crichton

Sci. Comput. Program., 2014

2012

Compositionality and Refinement in Model-Driven Engineering.

Jim Davies, Jeremy Gibbons, David Milward, James Welch

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

2011

Models for forms.

Daniel Abler, Charles Crichton, James Welch, Jim Davies, Steve Harris

Proceedings of the SPLASH'11 Workshops, 2011

2010

A Guarded Workflow Language and Its Formal Semantics.

Chen-Wei Wang, Jim Davies, James Welch

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Model-Driven Data Migration.

Mohammed A. Aboulsamh, Edward Crichton, Jim Davies, James Welch

Proceedings of the Advances in Conceptual Modeling - Applications and Challenges, 2010

2008

Automatic maintenance of association invariants.

James Welch, David Faitelson, Jim Davies

Softw. Syst. Model., 2008

2007

Behavioural Specifications from Class Models.

Alessandra Cavarra, James Welch

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2006

A Proposed Media Delivery Index (MDI).

James Welch, James Clark

RFC, April, 2006

Domain-specific Semantics and Data Refinement of Object Models.

Jim Davies, David Faitelson, James Welch

Proceedings of the Brazilian Symposium on Formal Methods, 2006

On the Generation of Object Databases using Booster.

Jim Davies, James Welch, Alessandra Cavarra, Edward Crichton

Proceedings of the 11th International Conference on Engineering of Complex Computer Systems (ICECCS 2006), 2006

2005

From Predicates to Programs: The Semantics of a Method Language.

David Faitelson, James Welch, Jim Davies

Proceedings of the Second Brazilian Symposium on Formal Methods, 2005