%A M. Poppleton
%A B. Fischer
%A C. Franklin
%A A. Gondal
%A C. Snook
%A J. Sorge
%O  Event Dates: October 23, 2008
%T Towards Reuse with ``Feature-Oriented Event-B''
%X 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. 
%N MIP-08
%K feature, formal, modelling, product-line, refinement
%P 1-6
%D 2008
%I Department of Informatics and Mathematics University of Passau, Germany
%L deploy436

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>