James Welch : Publications
|
[1] |
Models for Forms Daniel Abler‚ Charles Crichton‚ James Welch‚ Jim Davies and Steve Harris October, 2011. |
|
[2] |
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. |
|
[3] |
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. |
|
[4] |
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. |
|
[5] |
Automatic Maintenance of Association Invariants James Welch‚ David Faitelson and Jim Davies In Software and Systems Modeling. 2008. |
|
[6] |
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. |
|
[7] |
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. |
|
[8] |
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. |
|
[9] |
Domain−Specific Semantics and Data Refinement of Object Models Jim Davies‚ David Faitelson and James Welch In Brazilian Symposium on Formal Methods (SBMF). 2006. |
|
[10] |
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. |