BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × France
1 × Italy
1 × Norway
2 × United Kingdom
Collaborated with:
R.Banach D.Méry C.Jeske S.Stepney
Talks about:
retrench (5) decomposit (1) structur (1) protocol (1) sequenc (1) punctur (1) pattern (1) develop (1) toward (1) specif (1)

Person: Michael Poppleton

DBLP DBLP: Poppleton:Michael

Contributed to:

IFM 20132013
REFSQ 20072007
FM 20052005
FME 20032003
ASE 19991999
World Congress on Formal Methods 19991999
IFM 19991999

Wrote 7 papers:

IFM-2013-MeryP #formal method #modelling #protocol #verification
Formal Modelling and Verification of Population Protocols (DM, MP), pp. 208–222.
REFSQ-2007-Poppleton #development #feature model #specification #towards
Towards Feature-Oriented Specification and Development with Event-B (MP), pp. 367–381.
FM-2005-BanachPJS #finite #sequence
Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern (RB, MP, CJ, SS), pp. 382–398.
FME-2003-PoppletonB #composition
Structuring Retrenchments in B by Decomposition (MP, RB), pp. 814–833.
ASE-1999-PoppletonB #named #refinement
Retrenchment: Extending the Reach of Refinement (MP, RB), pp. 158–165.
FM-v2-1999-BanachP
Retrenchment (RB, MP), pp. 1864–1865.
IFM-1999-BanachP #simulation
Retrenchment and Punctured Simulation (RB, MP), pp. 457–476.

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.