| 2008 |
|---|
| 6 | EE | Jim Davies,
David Faitelson,
James Welch:
Domain-specific Semantics and Data Refinement of Object Models.
Electr. Notes Theor. Comput. Sci. 195: 151-170 (2008) |
| 5 | EE | James Welch,
David Faitelson,
Jim Davies:
Automatic maintenance of association invariants.
Software and System Modeling 7(3): 287-301 (2008) |
| 2007 |
|---|
| 4 | EE | Alessandra Cavarra,
James Welch:
Behavioural Specifications from Class Models.
IFM 2007: 118-137 |
| 3 | EE | David 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 |
|---|
| 2 | EE | Jim Davies,
James Welch,
Alessandra Cavarra,
Edward Crichton:
On the Generation of Object Databases using Booster.
ICECCS 2006: 249-258 |
| 2005 |
|---|
| 1 | EE | James Welch,
David Faitelson,
Jim Davies:
Automatic Maintenance of Association Invariants.
SEFM 2005: 282-292 |
