软件的面向对象表示及在软件分析中的应用

通过对面向对象的角度理解实现软件的形式语言，可建立软件结构的对象模型，文章描述了自动建立软件结构对象模型的方法和过程。最后，结合在软件分析中的应用，讨论了该模型的实现及其与软件分析工具的结合。