Specification Transformation as a Basis for Specification Comprehension

A. Bollin (Austria)


Specification comprehension, slices, specification visual ization, dependencies


This positioning-paper explores the question of whether program slicing and analyzing techniques can be applied to the field of specification comprehension. The scope of visualization tools and techniques as well as the strategies that programmers use to comprehend programs are vary ing widely - and these techniques and theories seem to hold also in the field of specifications. Indeed, specifi cation transformations, in combination with specification visualization techniques, substantially aid the comprehen sion process. This paper introduces the field of specifica tion slicing and elaborates the problem of finding suitable dependencies, as a basis for the above mentioned specifica tion transformations.

Important Links:

Go Back