loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
11th Working Conference on Reverse Engineering (WCRE 2004)
The Efficiency of Specification Fragments
Delft, The Netherlands
November 08-November 12
ISBN: 0-7695-2243-2
Andreas Bollin, University of Klagenfurt

Formal specifications are valid sources for comprehension tasks when used during later development phases. However, the linguistic density of specification languages and the size of specifications can still be seen as an obstacle against comprehension activities.

This paper presents an approach for the identification of fragments of Z specifications with a well defined semantic content. These ,fragments, specification chunks and specification slices, are analyzed in respect to their efficiency when used during typical comprehension tasks.

Citation:
Andreas Bollin, "The Efficiency of Specification Fragments," wcre, pp.266-275, 11th Working Conference on Reverse Engineering (WCRE 2004), 2004
Usage of this product signifies your acceptance of the Terms of Use.