DocumentCode
2224349
Title
The efficiency of specification fragments
Author
Bollin, Andreas
Author_Institution
Inst. for Informatics-Syst., Klagenfurt Univ., Austria
fYear
2004
fDate
8-12 Nov. 2004
Firstpage
266
Lastpage
275
Abstract
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 work 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.
Keywords
formal specification; specification languages; comprehension tasks; formal specifications; linguistic density; semantic content; specification chunks; specification fragments; specification language; specification slices; Aggregates; Application software; Databases; Formal specifications; Personnel; Reverse engineering; Software engineering; Software quality; Specification languages; System testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Reverse Engineering, 2004. Proceedings. 11th Working Conference on
ISSN
1095-1350
Print_ISBN
0-7695-2243-2
Type
conf
DOI
10.1109/WCRE.2004.36
Filename
1374326
Link To Document