Concepedia

Michael Poppleton

MP

15

Publications

293

Citations

11

H-Index

1999

Active since

Affiliations

University of Southampton(Current)

University of Manchester

University of York

Michael Poppleton is an author at University of Southampton specializing in engineering, systems engineering, and formal methods.

Top concepts

Publications per year

1999–2019

15

Publications

15

Engineering and theoretical underpinnings of retrenchment

Richard Banach, Michael Poppleton, Czesław Jeske et al. · Science of Computer Programming · 2007 · 55 citations

, , +1

Sharp Retrenchment, Modulated Refinement and Simulation

Richard Banach, Michael Poppleton · Formal Aspects of Computing · 1999 · 29 citations · Full text

Retrenching partial requirements into system definitions: a simple feature interaction case study

Richard Banach, Michael Poppleton · Requirements Engineering · 2003 · 26 citations

, , +15

Composition mechanisms for retrenchment

Richard Banach, Czesław Jeske, Michael Poppleton · The Journal of Logic and Algebraic Programming · 2008 · 25 citations

, , +2

Retrenching the Purse: The Balance Enquiry Quandary, and Generalised and (1,1) Forward Refinements

Richard Banach, Czesław Jeske, Michael Poppleton et al. · Research Explorer (The University of Manchester) · 2007 · 23 citations

Rows per page

1–5 of 15