title: Towards Reuse with ``Feature-Oriented Event-B''
creator: Poppleton, M.
creator: Fischer, B.
creator: Franklin, C.
creator: Gondal, A.
creator: Snook, C.
creator: Sorge, J.
subject: Composition and reuse
description: 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. 
publisher: Department of Informatics and Mathematics University of Passau, Germany
date: 2008-10
type: Conference or Workshop Item
type: PeerReviewed
relation: http://eprints.soton.ac.uk/266827/
identifier:   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.     
relation: http://deploy-eprints.ecs.soton.ac.uk/436/

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