"436","Towards Reuse with ``Feature-Oriented Event-B''","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. ","http://deploy-eprints.ecs.soton.ac.uk/436/","Poppleton, M. and Fischer, B. and Franklin, C. and Gondal, A. and Snook, C. and Sorge, J.","UNSPECIFIED","       <span class=\"person_name\">Poppleton, M.</span> and <span class=\"person_name\">Fischer, B.</span> and <span class=\"person_name\">Franklin, C.</span> and <span class=\"person_name\">Gondal, A.</span> and <span class=\"person_name\">Snook, C.</span> and <span class=\"person_name\">Sorge, J.</span>     (2008)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/436/\"><em>Towards Reuse with ``Feature-Oriented Event-B''.</em></a>       In: McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering.           ","","2008-10"
<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>