creators_name: Poppleton, M. creators_name: Fischer, B. creators_name: Franklin, C. creators_name: Gondal, A. creators_name: Snook, C. creators_name: Sorge, J. type: conference_item datestamp: 2012-07-23 12:04:44 lastmod: 2012-07-23 12:04:44 metadata_visibility: show title: Towards Reuse with ``Feature-Oriented Event-B'' ispublished: pub subjects: deploy_method_comp full_text_status: none pres_type: paper keywords: feature, formal, modelling, product-line, refinement note: Event Dates: October 23, 2008 abstract: Event-B MAV:05 is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction. However, scalability is a major current concern, especially the dimension of reusability. We outline a proposed infrastructure for scalable development with reuse for Event-B. We focus specifically on our agenda for reuse in Software Product Lines, and explain how a form of feature modelling will be central to this programme. date: 2008-10 date_type: published number: MIP-08 publisher: Department of Informatics and Mathematics University of Passau, Germany pagerange: 1-6 event_title: McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering event_type: workshop refereed: TRUE official_url: http://eprints.soton.ac.uk/266827/ citation: Poppleton, M. and Fischer, B. and Franklin, C. and Gondal, A. and Snook, C. and Sorge, J. (2008) Towards Reuse with ``Feature-Oriented Event-B''. In: McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering.