Specification fragments with defined semantics to support SW-evolution

Summary form only given. The power of formal specifications is not fully exploited if used only during initial development. However, the linguistic density of specification languages can be seen as an obstacle against reading and easily comprehending a document written by other engineers. We introduce an approach for identifying fragments of specifications with well defined semantic content. Specification chunks and specification slices are introduced as complementary concepts to convey partial, though sufficient understanding to maintainers or other focused readers.