Towards Feature-Oriented Specification and Development with Event-B
Towards Feature-Oriented Specification and Development with Event-B
A proposal is made for the development of a feature-oriented reuse capability for safety-critical software construction using rigorous methods. We pr´ecis the Event-B language - the evolution of the B-Method of J.-R. Abrial [1] - a leading formal method for safety-critical software development. Current and new infrastructure for scalable development with Event-B is outlined, and contrasted with support required for feature-oriented development. The proposal is illustrated by a small example of feature-oriented construction and refinement with Event-B.
Event-B, feature, formal specification, refinement, software product line
978-3-540-73030-9
367-381
Poppleton, Michael
4c60e63f-188c-4636-98b9-de8a42789b1b
Sawyer, Peter
10db58a5-595f-40f4-ab3b-e60058f3dd94
Paech, Barbara
7b09bc70-2c06-4e59-b3dd-be2a116e2a72
Heymans, Patrick
d63ca7e6-65de-4faf-a304-671006d1096b
2007
Poppleton, Michael
4c60e63f-188c-4636-98b9-de8a42789b1b
Sawyer, Peter
10db58a5-595f-40f4-ab3b-e60058f3dd94
Paech, Barbara
7b09bc70-2c06-4e59-b3dd-be2a116e2a72
Heymans, Patrick
d63ca7e6-65de-4faf-a304-671006d1096b
Poppleton, Michael
(2007)
Towards Feature-Oriented Specification and Development with Event-B.
Sawyer, Peter, Paech, Barbara and Heymans, Patrick
(eds.)
REFSQ 2007: Requirements Engineering: Foundation for Software Quality, Trondheim, Norway.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
A proposal is made for the development of a feature-oriented reuse capability for safety-critical software construction using rigorous methods. We pr´ecis the Event-B language - the evolution of the B-Method of J.-R. Abrial [1] - a leading formal method for safety-critical software development. Current and new infrastructure for scalable development with Event-B is outlined, and contrasted with support required for feature-oriented development. The proposal is illustrated by a small example of feature-oriented construction and refinement with Event-B.
Text
refsq07LNCSFinal.pdf
- Other
More information
Published date: 2007
Additional Information:
Event Dates: June 2007
Venue - Dates:
REFSQ 2007: Requirements Engineering: Foundation for Software Quality, Trondheim, Norway, 2007-06-01
Keywords:
Event-B, feature, formal specification, refinement, software product line
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 264331
URI: http://eprints.soton.ac.uk/id/eprint/264331
ISBN: 978-3-540-73030-9
PURE UUID: 513e6b27-edf7-4b59-9253-777dfa43f4c5
Catalogue record
Date deposited: 21 Jul 2007
Last modified: 14 Mar 2024 07:48
Export record
Contributors
Author:
Michael Poppleton
Editor:
Peter Sawyer
Editor:
Barbara Paech
Editor:
Patrick Heymans
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics