BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Stepney:Susan

Contributed to:

SEFM 20072007
FM 20062006
FM 20052005
ITiCSE 20042004
World Congress on Formal Methods 19991999
FME 19971997

Wrote 6 papers:

Retrenchment and the Atomicity Pattern (RB, CJ, AH, SS), pp. 37–46.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.