Behavioural Specifications from Class Models by Cavarra, A, Welch, J

Multidimensional In Vivo NMR by Welch, J, John Welch

A formal theory of the selfish gene. by Gardner, A, Welch, J

A guarded workflow language and its formal semantics by Wang, C, Davies, J, Welch, J

From Predicates to Programs: The Semantics of a Method Language by Faitelson, D, Welch, J, Davies, J

Automatic Maintenance of Association Invariants by Welch, J, Faitelson, D, Davies, J

Domain−Specific Semantics and Data Refinement of Object Models by Davies, J, Faitelson, D, Welch, J

Automatic Maintenance of Association Invariants by Welch, J, Faitelson, D, Davies, J

A Guarded Workflow Language and Its Formal Semantics by Wang, C, Davies, J, Welch, J

Domain−specific Semantics and Data Refinement of Object Models by Davies, J, Faitelson, D, Welch, J

A formal, scalable approach to semantic interoperability by Davies, J, Welch, J, Milward, D, Harris, S

Model-driven engineering of information systems: 10 years and 1000 versions by Davies, J, Gibbons, J, Welch, J, Crichton, E

Model−Driven Data Migration by Aboulsamh, M, Crichton, E, Davies, J, Welch, J

Software project management for combined software and data engineering by Shah, SM, Welch, J, Davies, J, Gibbons, J

Model−driven Engineering of Information Systems: 10 years and 1000 versions by Davies, J, Gibbons, J, Welch, J, Crichton, E

On the Generation of Object Databases using Booster by Davies, J, Welch, J, Cavarra, A, Crichton, E

Compositionality and refinement in model-driven engineering by Davies, J, Gibbons, J, Milward, D, Welch, J

Compositionality and Refinement in Model−Driven Engineering by Davies, J, Gibbons, J, Milward, D, Welch, J

Models for Forms by Abler, D, Crichton, C, Davies, J, Harris, S, Welch, J

Occupational asthma caused by tetrachlorophthalic anhydride: A 12-year follow-up by Barker, R, Harris, J, Welch, J, Venables, K, Taylor, A