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
ASCII Text
x 
 
Andreas Bollin, "The Efficiency of Specification Fragments," Reverse Engineering, Working Conference on, pp. 266-275, 11th Working Conference on Reverse Engineering (WCRE 2004), 2004.
 
 
BibTex
x
 
@article{ 10.1109/WCRE.2004.36,
author = {Andreas Bollin},
title = {The Efficiency of Specification Fragments},
journal ={Reverse Engineering, Working Conference on},
volume = {0},
year = {2004},
issn = {1095-1350},
pages = {266-275},
doi = {http://doi.ieeecomputersociety.org/10.1109/WCRE.2004.36},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Reverse Engineering, Working Conference on
TI - The Efficiency of Specification Fragments
SN - 1095-1350
SP266
EP275
A1 - Andreas Bollin,
PY - 2004
KW - null
VL - 0
JA - Reverse Engineering, Working Conference on
ER -
 
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.