Emeritus Professor Michael Poppleton

Connect with Michael

Email: mrp@ecs.soton.ac.uk

Publications

45 publications

Page 3 of 5

A Basis for feature-oriented modelling in Event-B

Jennifer Sorge,

Michael Poppleton,

& Michael Butler

, 2009

Type: report

Feature composition - towards product lines of event-B models

Ali Gondal,

Mike Poppleton,

& Colin Snook

, 2009

Type: conference

Timing diagrams add Requirements Engineering capability to Event-B Formal Development

Tossaporn Joochim,

& Michael Poppleton

, 2008

Type: conference

The composition of Event-B models

Michael Poppleton

, 2008

DOI: 10.1007/978-3-540-87603-8_17

Type: conference

Towards Reuse with "Feature-Oriented Event-B"

M. Poppleton,

B. Fischer,

C. Franklin,

A. Gondal,

C. Snook,

& J. Sorge

, 2008

Type: conference

Rigorous engineering of product-line requirements: a case study in failure management

Colin Snook,

Michael Poppleton,

& Ian Johnson

, 2008 , Information and Software Technology , 50 (1-2) , 112--129

DOI: 10.1016/j.infsof.2007.10.010

Type: article

Composition mechanisms for retrenchment

R. Banach,

C. Jeske,

& M. Poppleton

, 2008 , Journal of Logic and Algebraic Programming , 75 (2) , 209--229

DOI: 10.1016/j.jlap.2007.11.001

Type: article

Usability Assessment of a UML-based Formal Modelling Method Using Cognitive Dimensions Framework

Rozilawati Razali,

Colin Snook,

Michael Poppleton,

& Paul Garratt

, 2008 , Human Technology: An Interdisciplinary Journal on Humans in ICT Environments

Type: article

Transforming timing diagrams into knowledge acquisition in automated specification

Tossaporn Joochim,

& Mike Poppleton

, 2007

Type: conference

Comprehensibility of UML-based Formal Model – A Series of Controlled Experiments

R Razali,

C. F. Snook,

& M. R. Poppleton

, 2007

Type: conference

How to edit profile