Author: Michael Poppleton
Publications
Co-authors
Productive Colleagues
Publications
Banach, Richard, Poppleton, Michael (2003): Retrenching partial requirements into system definitions: a simple feature interaction cas. In Requir. Eng., 8 (4) pp. 266-288. https://dx.doi.org/10.1007/s00766-002-0157-6
Poppleton, Michael (2007): Towards Feature-Oriented Specification and Development with Event-B. In: Sawyer, Peter, Paech, Barbara, Heymans, Patrick (eds.) Requirements Engineering Foundation for Software Quality, 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings , 2007, . pp. 367-381. https://dx.doi.org/10.1007/978-3-540-73031-6_28