Fixed point based abstract interpretation requires compact representations of functions. In general, finding a fixed point requires exponential time. Good representations allow the reduction of the fixed point solvers computational complexity. One approach for obtaining compact representations is the use of special classes of functions. In this paper, we focus on the class of component-wise homomorphisms. We show that this class of functions gives more compact representations than component-wise additive functions. 1.

Scenarios are valuable for supporting communication among system developers in the initial phases of requirements engineering. But the problem of how to fruitfully deal with large informal or semi-formal scenario collections consisting of weakly structured texts is still a key research issue. We report on a novel approach of automatically structuring textual document collections. We focus on its application to scenario management and discuss how structuring scenarios can help to support the analysis and maintenance of scenario collections. To evaluate the approach, we present a case study within a concrete software engineering effort.