Travelled to:1 × Austria
1 × Canada
1 × France
3 × United Kingdom
Collaborated with:F.Polack R.Banach C.Jeske ∅ N.Amálio D.W.J.Stringer-Calvert I.Wand A.Hall M.Poppleton
Talks about:retrench (2) pattern (2) use (2) metaproof (1) templat (1) sequenc (1) languag (1) generic (1) develop (1) classic (1)
Person: Susan Stepney
DBLP: Stepney:Susan
Contributed to:
2007
20062005
200419991997Wrote 6 papers:
- SEFM-2007-BanachJHS
- Retrenchment and the Atomicity Pattern (RB, CJ, AH, SS), pp. 37–46.
- FM-2006-AmalioSP
- A Formal Template Language Enabling Metaproof (NA, SS, FP), pp. 252–267.
- FM-2005-BanachPJS #finite #sequence
- Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern (RB, MP, CJ, SS), pp. 382–398.
- ITiCSE-2004-Stepney #education
- Teaching post-classical computation: (SS), p. 3.
- FM-v2-1999-PolackS #development #using
- Systems Development Using Z Generics (FP, SS), pp. 1048–1067.
- FME-1997-Stringer-CalvertSW #case study #refinement #using
- Using PVS to Prove a Z Refinement: A Case Study (DWJSC, SS, IW), pp. 573–588.