TY  - CONF
N1  -  Event Dates: October 23, 2008
ID  - deploy436
UR  - http://eprints.soton.ac.uk/266827/
A1  - Poppleton, M.
A1  - Fischer, B.
A1  - Franklin, C.
A1  - Gondal, A.
A1  - Snook, C.
A1  - Sorge, J.
Y1  - 2008/10//
N2  - 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. 
PB  - Department of Informatics and Mathematics University of Passau, Germany
KW  - feature
KW  -  formal
KW  -  modelling
KW  -  product-line
KW  -  refinement
TI  - Towards Reuse with ``Feature-Oriented Event-B''
SP  - 1
AV  - none
EP  - 6
T2  - McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering
ER  -

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