Sciweavers

16 search results - page 1 / 4
» Supporting Reuse in Event B Development: Modularisation Appr...
Sort
View
ASM
2010
ASM
14 years 8 months ago
Supporting Reuse in Event B Development: Modularisation Approach
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,...
ICFEM
2009
Springer
14 years 5 months ago
Supporting Reuse of Event-B Developments through Generic Instantiation
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...
Renato Silva, Michael Butler
SPE
2011
13 years 5 months ago
Decomposition tool for event-B
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 ...
Renato Silva, Carine Pascal, Thai Son Hoang, Micha...
ASM
2010
ASM
14 years 5 months ago
A Basis for Feature-Oriented Modelling in Event-B
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...
Jennifer Sorge, Michael Poppleton, Michael Butler
ASM
2008
ASM
14 years 26 days ago
A First Attempt to Express KAOS Refinement Patterns with Event B
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...
Abderrahman Matoussi, Frédéric Gerva...