@inproceedings{deploy436,
          number = {MIP-08},
           month = {October},
          author = {M. Poppleton and B. Fischer and C. Franklin and A. Gondal and C. Snook and J. Sorge},
            note = { Event Dates: October 23, 2008},
       booktitle = {McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering},
           title = {Towards Reuse with ``Feature-Oriented Event-B''},
       publisher = {Department of Informatics and Mathematics University of Passau, Germany},
            year = {2008},
           pages = {1--6},
        keywords = {feature, formal, modelling, product-line, refinement},
             url = {http://deploy-eprints.ecs.soton.ac.uk/436/},
        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. }
}

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