16 search results - page 1 / 4 » Supporting Reuse in Event B Development: Modularisation Appr... |
ASM
2010
ASM
14 years 8 months ago
2010
ASM
ICFEM
2009
Springer
14 years 5 months ago
2009
Springer
It is believed that reusability in formal development should reduce the time and cost of formal modelling within a production environment. Along with the ability to reuse formal mo...
SPE
2011
13 years 5 months ago
2011
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...
ASM
2010
ASM
14 years 5 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
ASM
2008
ASM
14 years 27 days ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...