Poppleton, M., Fischer, B., Franklin, C., Gondal, A., Snook, C. and Sorge, J.
Towards Reuse with ``Feature-Oriented Event-B''
At McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering.
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.
Conference or Workshop Item
||Event Dates: October 23, 2008
|Venue - Dates:
||McGPLE: Workshop on Modularization, Composition, and Generative Techniques for Product Line Engineering, 2008-10-23
||feature, formal, modelling, product-line, refinement
||Electronic & Software Systems
||24 Oct 2008 00:23
||17 Apr 2017 18:58
|Further Information:||Google Scholar|
Actions (login required)