Travelled to:1 × Switzerland
1 × USA
Collaborated with:∅ S.Cook A.Kleppe R.Mitchell J.Warmer
Talks about:smalltalk (1) program (1) express (1) context (1) fresco (1) capsul (1) verif (1) defin (1) type (1) ocl (1)
Person: Alan Wills
DBLP: Wills:Alan
Contributed to:
1999
1991Wrote 2 papers:
- UML-1999-CookKMWW #ocl
- Defining the Context of OCL Expressions (SC, AK, RM, JW, AW), pp. 372–383.
- ECOOP-1991-Wills #smalltalk #verification
- Capsules and Types in Fresco: Program Verification in Smalltalk (AW), pp. 59–76.