|
|
James Welch: Publications
by date |
by title |
by type |
bibtex
|
[1]
|
Domain-specific Semantics and Data Refinement of Object Models
Jim Davies, David Faitelson and James Welch
Electronic Notes in Theoretical Computer Science, Vol. 195, pages 151—170. 2008.
Details
|
BibTeX
|
DOI (10.1016/j.entcs.2007.08.031)
|
|
[3]
|
Behavioural Specifications from Class Models
A. Cavarra, 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)
|
|
[4]
|
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)
|
|
[5]
|
On the Generation of Object Databases using Booster
Jim Davies et al.
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)
|
|
[6]
|
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
|
|
[7]
|
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
|
|
|
|
|
