dblp.uni-trier.dewww.uni-trier.de

James Welch

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
6EEJim Davies, David Faitelson, James Welch: Domain-specific Semantics and Data Refinement of Object Models. Electr. Notes Theor. Comput. Sci. 195: 151-170 (2008)
5EEJames Welch, David Faitelson, Jim Davies: Automatic maintenance of association invariants. Software and System Modeling 7(3): 287-301 (2008)
2007
4EEAlessandra Cavarra, James Welch: Behavioural Specifications from Class Models. IFM 2007: 118-137
3EEDavid Faitelson, James Welch, Jim Davies: From Predicates to Programs: The Semantics of a Method Language. Electr. Notes Theor. Comput. Sci. 184: 171-187 (2007)
2006
2EEJim Davies, James Welch, Alessandra Cavarra, Edward Crichton: On the Generation of Object Databases using Booster. ICECCS 2006: 249-258
2005
1EEJames Welch, David Faitelson, Jim Davies: Automatic Maintenance of Association Invariants. SEFM 2005: 282-292

Coauthor Index

1Alessandra Cavarra [2] [4]
2Edward Crichton [2]
3Jim Davies [1] [2] [3] [5] [6]
4David Faitelson [1] [3] [5] [6]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)