Abstract:

In this paper we compare the experiences of applying the graph-based GUPRO approach to experiences in applying ANAL/SoftSpec - an approach based on relational databases. We present the results of a case study in which GUPRO has been applied to a multi-language software system for stock trading (GEOS). Comparing the results of the case study with experiences of applying ANAL/SoftSpec to GEOS we show that the graphoriented approach enables an efficient way of source code analysis and program understanding.