44 search results - page 1 / 9 » Reuse of Specification Patterns with the B Method |
160
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a spe...
156
click to vote
IWFM
1998
15 years 7 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
181
click to vote
ASM
2008
ASM
15 years 8 months 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...
188
click to vote
ASM
2010
ASM
16 years 1 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...
192
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Profiling can effectively analyze program behavior and provide critical information for feedback-directed or dynamic optimizations. Based on memory profiling, reuse dista...