James Welch : Publications

A Guarded Workflow Language and Its Formal Semantics

Chen−Wei Wang‚ Jim Davies and James Welch

Pages 25−34. Los Alamitos‚ CA‚ USA. 2010. IEEE Computer Society.

Details | BibTeX | DOI (10.1109/TASE.2010.21)

Automatic Maintenance of Association Invariants

James Welch‚ David Faitelson and Jim Davies

In Software and Systems Modeling. 2008.

Details | BibTeX | DOI (10.1007/s10270-008-0085-0)

Automatic Maintenance of Association Invariants

James Welch‚ David Faitelson and Jim Davies

In Proceedings of Software Engineering and Formal Methods (SEFM) 2005. IEEE Computer Society Press. 2005.

Details | BibTeX

Behavioural Specifications from Class Models

A. Cavarra and J. Welch

In Proceedings of the 6th International Conference of Integrated Formal Methods (IFM 2007). Pages 118−137. Springer Berlin / Heidelberg. 2007.

Details | BibTeX | DOI (10.1007/978-3-540-73210-5_7)

Domain−Specific Semantics and Data Refinement of Object Models

Jim Davies‚ David Faitelson and James Welch

In Brazilian Symposium on Formal Methods (SBMF). 2006.

Details | BibTeX

Domain−specific Semantics and Data Refinement of Object Models

Jim Davies‚ David Faitelson and James Welch

In Electronic Notes in Theoretical Computer Science. Vol. 195. Pages 151–170. 2008.

Details | BibTeX | DOI (10.1016/j.entcs.2007.08.031)

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 | BibTeX | DOI (10.1016/j.entcs.2007.03.021)

Model−Driven Data Migration

Mohammed A. Aboulsamh‚ Edward Crichton‚ Jim Davies and James Welch

In Advances in Conceptual Modeling − Applications and Challenges‚ ER 2010 Workshops ACM−L‚ CMLSA‚ CMS‚ DE@ER‚ FP−UML‚ SeCoGIS‚ WISM‚ Vancouver‚ BC‚ Canada‚ November 1−4‚ 2010.. Vol. 6413 of Lecture Notes in Computer Science. Pages 285–294. 2010.

Details | BibTeX | DOI (10.1007/978-3-642-16385-2_35)

Models for Forms

Daniel Abler‚ Charles Crichton‚ James Welch‚ Jim Davies and Steve Harris

October, 2011.

Details | BibTeX

On the Generation of Object Databases using Booster

Jim Davies‚ James Welch‚ Alessandra Cavarra and Edward Crichton

In Proceedings of the 11th IEEE Conference on the Engineering of Complex Computer Systems (ICECCS 2006). IEEE Computer Society. 2006.

Details | BibTeX | DOI (10.1109/ICECCS.2006.1690374)