A proposal is made for the development of a feature-oriented reuse capability for safety-critical software construction using rigorous methods. We précis 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. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Poppleton, M. R. (2007). Towards feature-oriented specification and development with event-B. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4542 LNCS, pp. 367–381). Springer Verlag. https://doi.org/10.1007/978-3-540-73031-6_28
Mendeley helps you to discover research relevant for your work.