有向软件图的极小源(汇)点集判定算法

本文研究了有向软件图的极小源（汇）点集问题，提出了有效的判定算法，并证明了该算法的正确性。该算法可以用于有关软件图的结构正确性的自动分析。

有向软件图自动布局的主流向式算法

软件图分为有向的和无向的两大类，对于有向软件图，我们选择数据流图作为代表，给出其可读性准则，并建立了其自动布局的主流向式算法，该算法的优点是其生成的有向软件图主流方向明确，易于阅读。