Michael Poppleton. Towards Feature-Oriented Specification and Development with Event-B. In Peter Sawyer, Barbara Paech, Patrick Heymans, editors, Requirements Engineering: Foundation for Software Quality, 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings. Volume 4542 of Lecture Notes in Computer Science, pages 367-381, Springer, 2007. [doi]
@inproceedings{Poppleton07,
title = {Towards Feature-Oriented Specification and Development with Event-B},
author = {Michael Poppleton},
year = {2007},
doi = {10.1007/978-3-540-73031-6_28},
url = {http://dx.doi.org/10.1007/978-3-540-73031-6_28},
tags = {Variability-Aware Analysis, analysis, context-aware},
researchr = {https://researchr.org/publication/Poppleton07},
cites = {0},
citedby = {0},
pages = {367-381},
booktitle = {Requirements Engineering: Foundation for Software Quality, 13th International Working Conference, REFSQ 2007, Trondheim, Norway, June 11-12, 2007, Proceedings},
editor = {Peter Sawyer and Barbara Paech and Patrick Heymans},
volume = {4542},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-73030-9},
}