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.
Full text not available from this repository.
Official URL: http://eprints.soton.ac.uk/266827/
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.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Additional Information: | Event Dates: October 23, 2008 |
| Uncontrolled Keywords: | feature, formal, modelling, product-line, refinement |
| Subjects: | Methodology > Composition and reuse |
| ID Code: | 436 |
| Deposited By: | Colin Snook |
| Deposited On: | 23 Jul 2012 12:04 |
| Last Modified: | 23 Jul 2012 12:04 |
Repository Staff Only: item control page
