Michael Poppleton
Michael Poppleton
Lecturer in Formal Methods, University of Southampton
Vahvistettu sähköpostiosoite verkkotunnuksessa ecs.soton.ac.uk
Nimike
Viittaukset
Viittaukset
Vuosi
Retrenchment: An engineering variation on refinement
R Banach, M Poppleton
International Conference of B Users, 129-147, 1998
1071998
Engineering and theoretical underpinnings of retrenchment
R Banach, M Poppleton, C Jeske, S Stepney
Science of Computer Programming 67 (2-3), 301-329, 2007
582007
Sharp retrenchment, modulated refinement and simulation
R Banach, M Poppleton
Formal Aspects of Computing 11 (5), 498-540, 1999
501999
Retrenching partial requirements into system definitions: A simple feature interaction case study
R Banach, M Poppleton
Requirements Engineering 8 (4), 266-288, 2003
442003
The composition of Event-B models
M Poppleton
International Conference on Abstract State Machines, B and Z, 209-222, 2008
382008
Retrenchment, refinement, and simulation
R Banach, M Poppleton
International Conference of B and Z Users, 304-323, 2000
382000
Retrenchment, refinement, and simulation
R Banach, M Poppleton
International Conference of B and Z Users, 304-323, 2000
382000
Towards feature-oriented specification and development with event-B
MR Poppleton
International Working Conference on Requirements Engineering: Foundation for …, 2007
352007
Retrenching the purse: Finite sequence numbers, and the tower pattern
R Banach, M Poppleton, C Jeske, S Stepney
International Symposium on Formal Methods, 382-398, 2005
292005
Composing Event-B specifications-case-study experience
A Gondal, M Poppleton, M Butler
International Conference on Software Composition, 100-115, 2011
282011
Composition mechanisms for retrenchment
R Banach, C Jeske, M Poppleton
Journal of Logic and Algebraic Programming 75 (2), 209-229, 2008
272008
Retrenching the purse: The balance enquiry quandary, and generalised and (1, 1) forward refinements
R Banach, C Jeske, M Poppleton, S Stepney
Fundamenta Informaticae 77 (1-2), 29-69, 2007
272007
Experimental Comparison of the Comprehensibility of a UML-based Formal Specification versus a Textual One
R Razali, CF Snook, MR Poppleton, PW Garratt, R Walters
11th International Conference on Evaluation and Assessment in Software …, 2007
252007
Controlling control systems: An application of evolving retrenchment
M Poppleton, R Banach
International Conference of B and Z Users, 42-61, 2002
252002
Retrenching the purse: finite exception logs, and validating the small
R Banach, M Poppleton, S Stepney
2006 30th Annual IEEE/NASA Software Engineering Workshop, 234-248, 2006
202006
Retrenchment and punctured simulation
R Banach, M Poppleton
IFM’99, 457-476, 1999
201999
Diagram-led formal modelling using iUML-B for hybrid ERTMS level 3
D Dghaym, M Poppleton, C Snook
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2018
192018
Usability assessment of a UML-based formal modeling method using a cognitive dimensions framework
R Razali, C Snook, M Poppleton, P Garratt
Human Technology: An Interdisciplinary Journal on Humans in ICT Environments, 2008
19*2008
Retrenchment: Extending the reach of refinement
MR Poppleton, RH Banach
14th IEEE International Conference on Automated Software Engineering, 158-165, 1999
191999
Retrenching the purse: hashing injective CLEAR codes, and security properties
R Banach, M Poppleton, C Jeske, S Stepney
Second International Symposium on Leveraging Applications of Formal Methods …, 2006
182006
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20