Travelled to:
1 × Germany
1 × United Kingdom
Collaborated with:
A.Cavarra D.Faitelson J.Davies
Talks about:
behaviour (1) mainten (1) automat (1) specif (1) invari (1) associ (1) model (1) class (1)
Person: James Welch
DBLP: Welch:James
Contributed to:
Wrote 2 papers:
- IFM-2007-CavarraW #behaviour #modelling #specification
- Behavioural Specifications from Class Models (AC, JW), pp. 118–137.
- SEFM-2005-WelchFD #automation #invariant #maintenance
- Automatic Maintenance of Association Invariants (JW, DF, JD), pp. 282–292.